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 :
بازگشت