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