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.
An overview of the V&V of Flight-Critical Systems effort at NASA
SAE 2011 AeroTech Congress and Exhibition ; 2011 ; Toulouse, France, France
2011-10-18
Conference paper
No indication
English
An Overview of the V&V of Flight-Critical Systems Effort at NASA
SAE Technical Papers | 2011
|NTIS | 2016
|NTRS | 2016
|NASA/Marshall Space Flight Center Overview
NTIS | 2001
|NASA/Marshall Space Flight Center Overview
NTRS | 2001
|