|
|
|
|
| LEADER |
01275 am a22002173u 4500 |
| 001 |
58930 |
| 042 |
|
|
|a dc
|
| 100 |
1 |
0 |
|a Leveson, Nancy G.
|e author
|
| 100 |
1 |
0 |
|a Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
|e contributor
|
| 100 |
1 |
0 |
|a Leveson, Nancy G.
|e contributor
|
| 100 |
1 |
0 |
|a Leveson, Nancy G.
|e contributor
|
| 245 |
0 |
0 |
|a Software Challenges in Achieving Space Safety
|
| 260 |
|
|
|b British Interplanetary Society,
|c 2010-10-07T14:49:46Z.
|
| 856 |
|
|
|z Get fulltext
|u http://hdl.handle.net/1721.1/58930
|
| 520 |
|
|
|a 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.
|
| 546 |
|
|
|a en_US
|
| 690 |
|
|
|a Spacecraft safety
|
| 690 |
|
|
|a software safety
|
| 690 |
|
|
|a spacecraft software engineering
|
| 655 |
7 |
|
|a Article
|
| 773 |
|
|
|t Journal of the British Interplanetary Society
|
