Software Challenges in Achieving Space Safety

Techniques developed for hardware reliability and safety do not work on software-intensive systems; software does not satisfy the assumptions underlying these techniques. The new problems and why the current approaches are not effective for complex, software-intensive systems are first described. Th...

Full description

Bibliographic Details
Main Author: Leveson, Nancy G.
Other Authors: Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Format: Article
Language:en_US
Published: British Interplanetary Society 2010
Subjects:
Online Access:http://hdl.handle.net/1721.1/58930
https://orcid.org/0000-0001-6294-8890
Description
Summary:Techniques developed for hardware reliability and safety do not work on software-intensive systems; software does not satisfy the assumptions underlying these techniques. The new problems and why the current approaches are not effective for complex, software-intensive systems are first described. Then a new approach to hazard analysis and safety-driven design is presented. Rather than being based on reliability theory, as most current safety engineering techniques are, the new approach builds on system and control theory.