DocumentCode
1106982
Title
A systems-theoretic approach to safety in software-intensive systems
Author
Leveson, Nancy G.
Author_Institution
Dept. of Aeronaut. & Astronaut., Massachusetts Inst. of Technol., Cambridge, MA, USA
Volume
1
Issue
1
fYear
2004
Firstpage
66
Lastpage
86
Abstract
Traditional accident models were devised to explain losses caused by failures of physical devices in relatively simple systems. They are less useful for explaining accidents in software-intensive systems and for nontechnical aspects of safety such as organizational culture and human decision-making. This paper describes how systems theory can be used to form new accident models that better explain system accidents (accidents arising from the interactions among components rather than individual component failure), software-related accidents, and the role of human decision-making. Such models consider the social and technical aspects of systems as one integrated process and may be useful for other emergent system properties such as security. The loss of a Milstar satellite being launched by a Titan/Centaur launch vehicle is used as an illustration of the approach.
Keywords
decision making; safety-critical software; security of data; software fault tolerance; system recovery; accident models; human decision-making; software engineering; software safety; software-intensive systems; software-related accidents; system accidents; system safety; systems-theoretic approach; Air accidents; Automotive engineering; Decision making; Helicopters; Humans; Safety devices; Satellites; Security; Software safety; Systems engineering and theory; 65; Index Terms- Software safety; accident models; software engineering.; system safety;
fLanguage
English
Journal_Title
Dependable and Secure Computing, IEEE Transactions on
Publisher
ieee
ISSN
1545-5971
Type
jour
DOI
10.1109/TDSC.2004.1
Filename
1335468
Link To Document