原文传递
Projected Impact of Compositional Verification on Current and Future Aviation Safety Risk.
| 题名： | Projected Impact of Compositional Verification on Current and Future Aviation Safety Risk. |
| 作者： | C. A., Withrow; K. M., Leone; M. S., Reveley; S. M., Jones |
| 关键词： | Aircraft Safety; Complex Systems; Control Equipment; Flight Control; Flight Safety; Malfunctions; Management Planning; Prototypes; Proving; Risk Assessment; System Failures |
| 摘要： | 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 compositional verification was described. Traditional verification techniques have two major problems: testing at the prototype stage where error discovery can be quite costly and the inability to test for all potential interactions leaving some errors undetected until used by the end user. Increasingly complex and nondeterministic aviation systems are becoming too large for these tools to check and verify. Compositional verification is a 'divide and conquer' solution to addressing increasingly larger and more complex systems. A review of compositional verification research being conducted by academia, industry, and Government agencies is provided. Forty-four aviation safety risks in the Biennial NextGen Safety Issues Survey were identified that could be impacted by compositional verification and grouped into five categories: automation design; system complexity; software, flight control, or equipment failure or malfunction; new technology or operations; and verification and validation. One capability, 1 research action, 5 operational improvements, and 13 enablers within the Federal Aviation Administration Joint Planning and Development Office Integrated Work Plan that could be addressed by compositional verification were identified. |
| 报告类型： | 科技报告 |
相关文献
- Projected Impact of Compositional Verification on Current and Future Aviation Safety Risk
- Framework for Assessment of Aviation Safety Technology Portfolios.
- Framework for Assessment of Aviation Safety Technology Portfolios
- Flightdeck Automation Problems (FLAP) Model for Safety Technology Portfolio Assessment.
- Flightdeck Automation Problems (FLAP) Model for Safety Technology Portfolio Assessment
- Potential Safety Benefits of Motor Carrier Operational Efficiencies. Commercial Truck and Bus Safety Synthesis Program (CTBSSP) Synthesis 20. A Synthesis of Safety Practice
检索历史
应用推荐
