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 条

[31] A model-based approach to formal specification and verification of embedded systems using colored Petri nets
da Silva, LD
Perkusich, A
COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 35 - 58
[32] Model-Based Verification and Validation of the SMAP Uplink Processes
Khan, M. Omair
Dubos, Gregory F.
Tirona, Joseph
Standley, Shaun
2013 IEEE AEROSPACE CONFERENCE, 2013,
[33] Early verification and validation using model-based design
Murphy, Brett
Wakefield, Amory
EDN, 2009, 54 (13) : 39 - 41
[34] Model-based validation and verification of autonomous networked vehicles
Sapronov, Leonid
Bose, Prasanta
2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 530 - 536
[35] Verification and Validation Approaches for Model-based Software Engineering
Schumann, Johann
Goseva-Popstojanova, Katerina
2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 514 - 518
[36] A model-based validation framework for PIV and PTV
Young, CN
Johnson, DA
Weckman, EJ
EXPERIMENTS IN FLUIDS, 2004, 36 (01) : 23 - 35
[37] A model-based validation framework for PIV and PTV
C. N. Young
D. A. Johnson
E. J. Weckman
Experiments in Fluids, 2004, 36 : 23 - 35
[38] Formal Verification of a MEMS Based Adaptive Cruise Control System
Jairam, S.
Lata, Kusum
Roy, Subir K.
Bhat, Navakanta
NSTI NANOTECH 2008, VOL 3, TECHNICAL PROCEEDINGS: MICROSYSTEMS, PHOTONICS, SENSORS, FLUIDICS, MODELING, AND SIMULATION, 2008, : 611 - +
[39] Model-based validation of CANopen systems
Lekidis, Alexios
Bozga, Marius
Bensalem, Saddek
PROCEEDINGS OF 2014 10TH IEEE WORKSHOP ON FACTORY COMMUNICATION SYSTEMS (WFCS 2014), 2014,
[40] Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
Arcaini, Paolo
Riccobene, Elvinia
Scandurra, Patrizia
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2017, 11 (04)

← 1 2 3 4 5 →