Title :
Is the current DO-254 verification process adequate for the future?
Abstract :
Presents a collection of slides covering the following topics: requirements based verification; DO-254 verification process; review requirements for correctness and completeness; DAL C designs; DAL A/B designs; modified condition decision coverage; toggle coverage; finite state machine coverage; functional verification.
Keywords :
avionics; finite state machines; formal verification; logic CAD; DAL A/B designs; DAL C designs; RBV; current DO-254 verification process; finite state machine coverage; functional verification; modified condition decision coverage; requirements based verification; toggle coverage;
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.6383061
