Software Challenges in Achieving Space Safety
Name
Leveson_Software challenges.pdf
Size
219.49 KB
Format
Adobe PDF
Checksum (MD5)
d9dfda2496e74d5e7bc4abd5d2a88796
Author(s)
Leveson, Nancy G.
Date Issued
July 2009
Journal
Journal of the British Interplanetary Society
Publisher
British Interplanetary Society
Citation
Leveson, Nancy G. “Software Challenges In Achieving Space Safety.” Journal of the British Interplanetary Society 62, July/August (2009).
Version
Author's final manuscript
Abstract
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.
Subjects
Spacecraft safety
software safety
spacecraft software engineering
MIT Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Terms of Use
Attribution-Noncommercial-Share Alike 3.0 Unported
Persistent DSpace Link
