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...
| Main Author: | |
|---|---|
| Other Authors: | |
| 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 |
| _version_ | 1826216845429964800 |
|---|---|
| author | Leveson, Nancy G. |
| author2 | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics |
| author_facet | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics Leveson, Nancy G. |
| author_sort | Leveson, Nancy G. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T16:54:21Z |
| format | Article |
| id | mit-1721.1/58930 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:54:21Z |
| publishDate | 2010 |
| publisher | British Interplanetary Society |
| record_format | dspace |
| spelling | mit-1721.1/589302022-10-03T09:02:59Z Software Challenges in Achieving Space Safety Leveson, Nancy G. Massachusetts Institute of Technology. Department of Aeronautics and Astronautics Leveson, Nancy G. Leveson, Nancy G. Spacecraft safety software safety spacecraft software engineering 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. 2010-10-07T14:49:46Z 2010-10-07T14:49:46Z 2009-07 Article http://purl.org/eprint/type/JournalArticle 0007-084X http://hdl.handle.net/1721.1/58930 Leveson, Nancy G. “Software Challenges In Achieving Space Safety.” Journal of the British Interplanetary Society 62, July/August (2009). https://orcid.org/0000-0001-6294-8890 en_US Journal of the British Interplanetary Society Attribution-Noncommercial-Share Alike 3.0 Unported http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf British Interplanetary Society MIT web domain |
| spellingShingle | Spacecraft safety software safety spacecraft software engineering Leveson, Nancy G. Software Challenges in Achieving Space Safety |
| title | Software Challenges in Achieving Space Safety |
| title_full | Software Challenges in Achieving Space Safety |
| title_fullStr | Software Challenges in Achieving Space Safety |
| title_full_unstemmed | Software Challenges in Achieving Space Safety |
| title_short | Software Challenges in Achieving Space Safety |
| title_sort | software challenges in achieving space safety |
| topic | Spacecraft safety software safety spacecraft software engineering |
| url | http://hdl.handle.net/1721.1/58930 https://orcid.org/0000-0001-6294-8890 |
| work_keys_str_mv | AT levesonnancyg softwarechallengesinachievingspacesafety |