Premium
1.2.2 A Specification Format for Reducing the Cost of Change in Safety‐Critical Systems
Author(s) -
Howard Jeffrey
Publication year - 2004
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2004.tb00476.x
Subject(s) - computer science , life critical system , automation , component (thermodynamics) , risk analysis (engineering) , automotive industry , aerospace , hazardous waste , reliability engineering , systems engineering , software engineering , engineering , software , programming language , business , mechanical engineering , physics , thermodynamics , aerospace engineering , waste management
Abstract Safety‐critical systems are costly to change. In all systems, changes must be examined for their impact on existing designs. Conflicts must be resolved and trade‐offs evaluated to ensure that the system still accomplishes its goals. In safety‐critical systems, the additional concerns of system safety must be satisfied: the change must not introduce new hazardous behaviors, be they incorrect actions or correct actions taken at an incorrect time. An improved format for system specifications, called intent specifications, and a component requirements modeling language, called SpecTRM‐RL (SpecTRM Requirements Language) can reduce the cost of evaluating the safety of changes to complex safety‐critical systems. Intent specifications, the SpecTRM‐RL requirements modeling language, and supporting tool automation have been applied in the aerospace, automotive, and medical device industries.