| dc.contributor.advisor | Nancy G. Leveson. | en_US |
| dc.contributor.author | Dupuy, Arnaud (Arnaud Guillaume), 1973- | en_US |
| dc.date.accessioned | 2005-08-22T18:40:38Z | |
| dc.date.available | 2005-08-22T18:40:38Z | |
| dc.date.copyright | 1999 | en_US |
| dc.date.issued | 1999 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/9478 | |
| dc.description | Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1999. | en_US |
| dc.description | Includes bibliographical references (p. 112-113). | en_US |
| dc.description.abstract | In order to be certified by the FAA, airborne software must comply with the D0-178B standard. For the unit testing of safety-critical software, this standard requires the testing process to meet a strong source code structure coverage criterion, referred to as Modified Condition/Decision Coverage criterion. This part of the standard is controversial in the aviation community, in particular because the coverage criterion is apparently not related to the safety of the software. In this thesis, we follow the letter of the D0-1788 standard to perform the unit testing of the Attitude Control Sy stem of the HETE-2 satellite. This allowed us to gain some insights on the D0- 1788 testing procedure, and to prove that in the case of the considered software, this method was well adapted. | en_US |
| dc.description.statementofresponsibility | by Arnaud Dupuy. | en_US |
| dc.format.extent | 113 leaves | en_US |
| dc.format.extent | 7328533 bytes | |
| dc.format.extent | 7328291 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | eng | en_US |
| dc.publisher | Massachusetts Institute of Technology | en_US |
| dc.rights | M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. | en_US |
| dc.rights.uri | http://dspace.mit.edu/handle/1721.1/7582 | |
| dc.subject | Aeronautics and Astronautics | en_US |
| dc.title | Safety-critical software testing in airborne systems : the modified condition/decision coverage criterion | en_US |
| dc.type | Thesis | en_US |
| dc.description.degree | S.M. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics | en_US |
| dc.identifier.oclc | 43583465 | en_US |
