Safety-critical software testing in airborne systems : the modified condition/decision coverage criterion
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1999. === Includes bibliographical references (p. 112-113). === 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,...
Main Author: | Dupuy, Arnaud (Arnaud Guillaume), 1973- |
---|---|
Other Authors: | Nancy G. Leveson. |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/9478 |
Similar Items
-
Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems
by: Roozbehani, Mardavij
Published: (2009) -
Hazard avoidance alerting with Markov decision processes
by: Winder, Lee F. (Lee Francis), 1973-
Published: (2005) -
A critical review of world jet transport safety
by: Achtmann, Eric D
Published: (2005) -
Generating quality software specifications for decision support : a novel approach
by: Voightmann, Michael P. (Michael Paul), 1979-
Published: (2005) -
Airborne collision avoidance in mixed equipage environments
by: Asmar, Dylan M. (Dylan Mitchell)
Published: (2013)