Verification and validation of flight critical systems (VVFCS)

Hall, B.,Driscoll, K., Schweiker, K.

Digital Avionics Systems Conference(2012)

引用 1|浏览1
暂无评分
摘要
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.
更多
查看译文
关键词
aerospace simulation,safety-critical software,nasa,vvfcs,multiple area multiyear program,safety-critical property,verification and validation of flight critical system
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要