An Overview of the V&V of Flight-Critical Systems Effort at NASA

被引：0

作者：

Brat, Guillaume ^{[1
]}

机构：

[1] NASA, Washington, DC 20546 USA

来源：

SAE INTERNATIONAL JOURNAL OF AEROSPACE | 2011年 / 4卷 / 02期

关键词：

D O I：

10.4271/2011-01-2560

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

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.

引用

页码：865 / 870

页数：6

共 50 条

[1] NASA Operational Simulator (NOS) for V&V of Complex Systems
Zemerick, Scott A.
Morris, Justin R.
Bailey, Brandon T.
MODELING AND SIMULATION FOR DEFENSE SYSTEMS AND APPLICATIONS VIII, 2013, 8752
[2] Optimizing the V&V Process for Critical Systems
Kiper, James D.
Feather, Martin S.
Richardson, Julian
GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 1139 - 1139
[3] An integrated V&V environment for critical systems development
Traoré, I
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2001, : 287 - 287
[4] Flight-critical distributed systems: Design considerations
Hammett, R
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2003, 18 (06) : 30 - 36
[5] V&V on a NASA Technology Demonstration Project: Low Density Supersonic Decelerator
Murry, Michael L.
Randolph, Thomas M.
2016 IEEE AEROSPACE CONFERENCE, 2016,
[6] An integrated environment of S/W specification and V&V for safety-critical systems
Koo, SR
Seong, PH
Yoo, J
Cha, SD
Youn, C
Han, HC
PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 607 - 612
[7] Issues in V&V of autonomous and adaptive systems
Tiwari, A
Sinha, P
CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1339 - 1342
[8] An approach to V&V of embedded adaptive systems
Yerramalla, S
Liu, Y
Fuller, E
Cukic, B
Gururajan, S
FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 173 - 188
[9] MODEL-BASED ADAPTATION OF FLIGHT-CRITICAL SYSTEMS
Ray, Sumit
Karsai, Gabor
McNeill, Kevin M.
2009 IEEE/AIAA 28TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2009, : 1485 - +
[10] FORMAL METHODS VERIFICATION & VALIDATION (V&V), FOR LEGACY SYSTEMS
Georgiadis, Sofia K.
PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE 2012, 2012, : 435 - +

← 1 2 3 4 5 →