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 条

[1] From model-based design to formal verification of adaptive embedded systems
Adler, Rasmus
Schaefer, Ina
Schuele, Tobias
Vecchie, Eric
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 76 - +
[2] A framework for verification and validation of integrated and adaptive control systems
James, J
Barton, D
PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 243 - 248
[3] Towards a formal, model-based framework for control systems interaction prototyping
Risoldi, Matteo
Amaral, Vasco
RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2007, 4401 : 144 - +
[4] Verification and Validation Test Framework Using a Model-Based Systems Engineering Approach
Ramirez, Clara
Thompson, Amy
INCOSE International Symposium, 2023, 33 (01) : 1091 - 1116
[5] A Framework for Formal Verification and Validation of Railway Systems
Benabbi, Yannis
RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 371 - 374
[6] SMACS: A framework for formal verification of complex adaptive systems
Fakhir, Ilyas
Kazmi, Asad Raza
Qasim, Awais
Ishaq, Atif
OPEN COMPUTER SCIENCE, 2023, 13 (01)
[7] Model-Based Validation of Industrial Control Systems
Estevez, E.
Marcos, M.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012, 8 (02) : 302 - 310
[8] Agile Model-Based Integration Framework for Advanced Software Validation and Verification
Baleani, M.
Di Valerio, V.
Lazzara, L.
Mignogna, A.
Sinisi, S.
Stazi, G.
Ulisse, A.
Liu, C.
Uttberg, D.
Yapi, L.
AIAA SCITECH 2023 FORUM, 2023,
[9] Formal Model and Code Verification in Model-Based Design
Popovici, Katalin
Lalo, Marc
2009 JOINT IEEE NORTH-EAST WORKSHOP ON CIRCUITS AND SYSTEMS AND TAISA CONFERENCE, 2009, : 392 - 395
[10] Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems
Schaefer, Ina
Poetzsch-Heffter, Arnd
SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 95 - 104

← 1 2 3 4 5 →