Define New Paradigms for Flight Software Validation and Verification for Safety
项目名称: Define New Paradigms for Flight Software Validation and Verification for Safety
摘要: The objective of this project is to develop a white paper for research challenges in flight software validation and verification (V&V) for commercial space transportation systems.
状态: Active
资金: 5110.00
资助组织: Federal Aviation Administration
项目负责人: Davidian, Ken
执行机构: Stanford University
开始时间: 20110101
实际结束时间: 20111231
主题领域: Aviation;Data and Information Technology;Safety and Human Factors
检索历史
应用推荐