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