Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
By Yannick Moy,Emmanuel Ledinot,Herve Delseny,Virginie Wiels,Benjamin Monate
Issue Date:May 2013
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...