Software Challenges in Achieving Space Safety

From The Space Library

Revision as of 06:53, 16 January 2013 by BIS (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

Author - N.G. Leveson

Co-Author(s) -

JBIS Volume # - 62

Page # - 265-272

Year - 2009

Keywords - Spacecraft safety, software safety, spacecraft software engineering, system and control theory, safety-driven design, reliability engineering analysis, STAMP

JBIS Reference Code # - 2009.62.265

Number of Pages - 8

[edit] Abstract

Techniques developed for hardware reliability and safety do not work on software-intensive systems. This is because 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 described in the first part of the article. A new approach to hazard analysis and safety-driven design is then presented. Rather than being based on reliability theory, as most current safety engineering techniques are, the new approach builds on system and control theory.


To BUY this paper click here



JBIS is © 1934-2013 British Interplanetary Society -

Retrieved from "http://www.thespacelibrary.com/mediawiki/index.php/Software_Challenges_in_Achieving_Space_Safety"