Search For:

Displaying 1-1 out of 1 total
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
Found in: IEEE Software
By Yannick Moy,Emmanuel Ledinot,Herve Delseny,Virginie Wiels,Benjamin Monate
Issue Date:May 2013
pp. 50-57
Software for commercial aircraft is subject to the stringent certification processes described in the DO-178B standard, "Software Considerations in Airborne Systems and Equipment Certification." Issued in 1992, this document focuses strongly on t...