原文传递
Overview of the V&V of Flight-Critical Systems effort at NASA.
| 题名： | Overview of the V&V of Flight-Critical Systems effort at NASA. |
| 作者： | Brat, G. P. |
| 关键词： | Air Traffic Control; Airspace; Computer Systems Performance; Flight Management Systems; Flight Rules; Flight Safety; Program Verification(computers); Software Engineering; Software Reliability |
| 摘要： | As the US is getting ready for the Next Generation (NextGen) of Air Traffic System, there is a growing concern that the current techniques for verification and validation will not be adequate for the changes to come. The JPDO (in charge of implementing NextGen) has given NASA a mandate to address the problem and it resulted in the formulation of the V&V of Flight-Critical Systems effort. This research effort is divided into four themes: argument-based safety assurance, distributed systems, authority and autonomy, and, software intensive systems. This paper presents an overview of the technologies that will address the problem. |
| 报告类型： | 科技报告 |
相关文献
- Overview of the V&V of Flight-Critical Systems effort at NASA
- Validation and Verification (V&V) of Safety-Critical Systems Operating Under Off-Nominal Conditions.
- SAFEGUARD: An Assured Safety Net Technology for UAS
- Validation and Verification of Future Integrated Safety-Critical Systems Operating under Off-Nominal Conditions
- Adaptive Flight Control for Aircraft Safety Enhancements
- Runway Incursion Prevention System Testing at the Wallops Flight Facility
检索历史
应用推荐
