Title :
Verification and validation of flight critical systems (VVFCS)
Author :
Hall, B. ; Driscoll, K. ; Schweiker, K.
Abstract :
NASA is sponsoring a multiple-area multi-year program for verification and validation of flight critical systems. Objective - Provide advanced analytical, architectural, and testing capabilities to enable sound assurance of safety-critical properties.
Keywords :
aerospace simulation; safety-critical software; NASA; VVFCS; multiple area multiyear program; safety-critical property; verification and validation of flight critical system;
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.6383130
