Title :
Realizing DO-178C´s value by using new technology: OOT, MBDV, TQC & FM
Abstract :
Presents a collection of slides covering the following topics: avionics history; evolution of DO-178; DO-178C supplements; model based design and verification; tool qualification considerations; object oriented technology; formal methods; specification and design models; and model standards.
Keywords :
aerospace computing; avionics; formal specification; formal verification; object-oriented methods; software standards; software tools; DO-178 evolution; DO-178C supplements; avionics; design models; formal methods; formal specification; model based design and verification; model standards; object oriented technology; tool qualification considerations;
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
Conference_Location :
Williamsburg, VA
Print_ISBN :
978-1-4673-1699-6
DOI :
10.1109/DASC.2012.6383059
