| dc.contributor.author | Leveson, Nancy G. | |
| dc.date.accessioned | 2010-10-07T14:49:46Z | |
| dc.date.available | 2010-10-07T14:49:46Z | |
| dc.date.issued | 2009-07 | |
| dc.identifier.issn | 0007-084X | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/58930 | |
| dc.description.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. | en_US |
| dc.language.iso | en_US | |
| dc.publisher | British Interplanetary Society | en_US |
| dc.rights | Attribution-Noncommercial-Share Alike 3.0 Unported | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/3.0/ | en_US |
| dc.source | MIT web domain | en_US |
| dc.subject | Spacecraft safety | en_US |
| dc.subject | software safety | en_US |
| dc.subject | spacecraft software engineering | en_US |
| dc.title | Software Challenges in Achieving Space Safety | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Leveson, Nancy G. “Software Challenges In Achieving Space Safety.” Journal of the British Interplanetary Society 62, July/August (2009). | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics | en_US |
| dc.contributor.approver | Leveson, Nancy G. | |
| dc.contributor.mitauthor | Leveson, Nancy G. | |
| dc.relation.journal | Journal of the British Interplanetary Society | en_US |
| dc.eprint.version | Author's final manuscript | |
| dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
| eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |
| dspace.orderedauthors | Leveson, Nancy G. | |
| dc.identifier.orcid | https://orcid.org/0000-0001-6294-8890 | |
| mit.license | OPEN_ACCESS_POLICY | en_US |
| mit.metadata.status | Complete | |
