DocumentCode
1923341
Title
Engineering Safety - and Security-Related Requirements for Software-Intensive Systems
Author
Firesmith, Don
Author_Institution
Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA
fYear
2007
fDate
Feb. 26 2007-March 2 2007
Firstpage
9
Lastpage
9
Abstract
Summary form only given. Many software-intensive systems have significant safety ramifications and need to have their associated safety-related requirements properly engineered. It has been observed by several consultants, researchers, and authors that inadequate requirements are a major cause of accidents involving software-intensive systems. Yet in practice, there is very little interaction between the requirements and safety disciplines and little collaboration between their respective communities. Most requirements engineers know little about safety engineering, and most safety engineers know little about requirements engineering. Also, safety engineering typically concentrates on architectures and designs rather than requirements because hazard analysis typically depends on the identification of hardware and software components, the failure of which can cause accidents. This leads to safety-related requirements that are often ambiguous, incomplete, and even missing. The tutorial begins with a single common realistic example of a safety critical system that will be used throughout to provide good examples of safety-related requirements. The tutorial then provides an introduction to requirements engineering for safety engineers and an introduction to safety engineering for requirements engineers. The tutorial then provides clear definitions and descriptions of the different kinds of safety-related requirements and finishes with a practical process for producing them
Keywords
formal verification; safety-critical software; requirements engineering; safety critical system; safety engineering; software-intensive system; Accidents; Collaboration; Computer architecture; Design engineering; Failure analysis; Hardware; Hazards; Software engineering; Software safety; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007. ICCBSS '07. Sixth International IEEE Conference on
Conference_Location
Banff, Alta.
Print_ISBN
0-7695-2785-X
Type
conf
DOI
10.1109/ICCBSS.2007.15
Filename
4127290
Link To Document