Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems

被引：3

作者：

Guarro, Sergio ^{[1
]}

Ozguner, Umit ^{[2
]}

Aldemir, Tunc ^{[2
]}

Knudson, Matt ^{[3
]}

Kurt, Arda ^{[2
]}

Yau, Michael ^{[1
]}

Hejase, Mohammad ^{[2
]}

Kwon, Steve ^{[2
]}

机构：

[1] ASCA Inc, Redondo Beach, CA 90277 USA

[2] Ohio State Univ, Columbus, OH 43210 USA

[3] NASA, Ames Res Ctr, Moffett Field, CA 94035 USA

来源：

NASA FORMAL METHODS, NFM 2016 | 2016年 / 9690卷

关键词：

Validation and verification; Safety case; Model based control system; Adaptive control system; Unmanned aircraft system;

D O I：

10.1007/978-3-319-40648-0_18

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents the interim results of a three-year NASA project for the development of a comprehensive framework for the validation and verification (V&V) of model-based control systems and adaptive control systems (MBCSs/ACSs), with focus on Unmanned Aircraft Systems (UAS) applications. The framework applies a formal V&V methodology based on a combination of logic-dynamic model constructs and associated analysis processes, to support the generation of a documentable assurance case for a UAS control system, and to demonstrate its compliance with applicable aviation system certification standards.

引用

页码：227 / 233

页数：7

共 50 条

[41] Model-Based Design and Verification of Reactive Systems
Hysek, Jiri
Ceska, Milan
Janousek, Vladimir
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 865 - 872
[42] Model-based verification in the development of dependable systems
Aredo, DB
Owe, O
ITCC 2005: International Conference on Information Technology: Coding and Computing, Vol 2, 2005, : 327 - 334
[43] Model-based validation procedure for the certification of advanced chassis control systems
Horiuchi, Shinichiro
Okada, Kazuyuki
Nohtomi, Shinya
VEHICLE SYSTEM DYNAMICS, 2010, 48 : 393 - 409
[44] Model-based Spacecraft Fault Management Design & Formal Validation
Gibson, Corrina
Bonnici, Michael
Castet, Jean-Francois
2015 IEEE AEROSPACE CONFERENCE, 2015,
[45] A Formal Model-Based Approach to Engineering Systems-of-Systems
Fitzgerald, John
Bryans, Jeremy
Payne, Richard
COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, 2012, 380 : 53 - 62
[46] Formal model-based conformance verification of an OSEK/VDX compliant RTOS
Bechennec, Jean-Luc
Roux, Olivier Henri
Tigori, Toussaint
2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2018, : 628 - 634
[47] A FORMAL MODEL FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION
LAITA, LM
COUTO, J
DELEDESMA, L
MARGARIT, AF
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (09) : 769 - 786
[48] A Customized Design Framework for the Model-based Development of Engine Control Systems
Huefner, Martin
Sonntag, Christian
Engell, Sebastian
Grobosch, Sebastian
39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 6916 - 6921
[49] Tools and methods for the verification and validation of adaptive aircraft control systems
Schumann, Johann
Liu, Yan
2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2007, : 3320 - +
[50] Verification and Validation of Neuro-adaptive Aircraft Control Systems
Schumann, Johann
Liu, Yan
Gupta, Pramod
1ST INTERNATIONAL NORTH-AMERICAN SIMULATION TECHNOLOGY CONFERENCE, 2008, : 7 - +

← 1 2 3 4 5 →