A systems-theoretic approach to safety in software-intensive systems

被引:48
作者
Leveson, NG
机构
[1] MIT, Dept Aeronaut & Astronaut, Cambridge, MA 02139 USA
[2] MIT, Engn Syst Div, Cambridge, MA 02139 USA
关键词
software safety; system safety; accident models; software engineering;
D O I
10.1109/TDSC.2004.1
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:66 / 86
页数:21
相关论文
共 32 条
[1]   TOWARDS A SYSTEM OF SYSTEMS CONCEPTS [J].
ACKOFF, RL .
MANAGEMENT SCIENCE SERIES A-THEORY, 1971, 17 (11) :661-671
[2]  
[Anonymous], 1994, Cognitive System Engineering
[3]  
[Anonymous], 1975, INTRO GEN SYSTEM THI
[4]  
Ashby W. R., 1956, INTRO CYBERNETICS
[5]  
Bertalanffy L., 1969, GEN SYSTEMS THEORY
[6]  
Checkland P., 1981, Systems thinking, systems practice
[7]  
Conant R.C., 1970, Int. J. Sys. Sci, V1, P89, DOI [10.1080/00207727008920220, DOI 10.1080/00207727008920220]
[8]  
DEALMEIDA IM, UNPUB EXTENDING BORD
[9]  
DULAC N, 2004, P INT S SYST ENG INC
[10]  
Gehman HW, 2003, COLUMBIA ACCIDENT IN