Systemic factors in software-related spacecraft accidents

AIAA Space 2001 Conference and Exposition

Volumn , Issue , 2001, Pages

  Leveson, Nancy G ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENTS; SATELLITES; SPACECRAFT LANDING;

ARIANE 5; COMMON FACTORS; LANDING PHASE; MARS CLIMATE ORBITERS; MARS POLAR LANDER; MILSTAR; SYSTEMIC FACTORS;

ORBITS;

EID: 85086616659     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2514/6.2001-4763     Document Type: Conference Paper

References (4)

1. J. C. Knight and N. G. Leveson. An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming. IEEE Trans. on Software Engineering, SE-12:1, Jan. 1986.
2. N. G. Leveson. Safeware: System Safety and Computers. Addison Wesley, 1985.
3. N. G. Leveson. Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Trans. on Software Engineering, SE- 26:1, Jan. 2000.
4. D. A. Mackall. Development and Flight Test Experiences with a Flight-Critical Digital Control System. NASA Technical Paper 2857, Dryden Flight Research Facility, Nov. 1988.