摘要: The projected impact of compositional verification research conducted by the National Aeronautic and Space Administration System-Wide Safety and Assurance Technologies on aviation safety risk was assessed. Software and composition... 展开
作者 | Reveley, M. S. Withrow, C. A. Leone, K. M. Jones, S. M. | ||
---|---|---|---|
原报告号 | N140016373 | 总页数 | 28 |
主办者 | National Aeronautics and Space Administration | ||
报告分类号 | [85D - Transportation Safety, 85A - Air Transportation] | ||
报告类别/文献类型 | DE / NTIS科技报告 | ||
关键词 | Proving Flight safety Aircraft safety Complex systems Risk assessment Prototypes Management planning Flight control Control equipment System failures Malfunctions |