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 条

[11] Model based formal verification of distributed production control systems
Kardos, M
Rammig, FJ
INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING, 2004, 3147 : 451 - 473
[12] Model-based Runtime Verification Framework
Zhao, Yuhong
Rammig, Franz
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (01) : 179 - 193
[13] Formal verification of complex systems: model-based and data-driven methods
Abate, Alessandro
MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 92 - 94
[14] An integrated requirements specification and validation framework for model-based systems
Jiang, Michael
Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, 2006, : 307 - 312
[15] Model-Based Software Validation for Automotive Control Systems
Ito, Yasuhiro
Sugure, Yasuo
Oho, Shigeru
INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2010), 2010, : 912 - 915
[16] Validation & verification of intelligent and adaptive control systems
Crum, VW
Plaisted, C
Buffington, JM
Prasanth, R
Tallant, GS
Bose, P
Krogh, B
Johnson, T
2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 68 - 77
[17] Validation & verification of intelligent and adaptive control systems
Tallant, Gregory S.
Hull, Richard A.
Bose, Prasanta
Johnson, Tim
Buffington, James M.
Krogh, Bruce
Crum, Vincent W.
Prasanth, Ravi
2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 2926 - 2936
[18] Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems
Huang, Chun-Hsian
Hsiung, Pao-Ann
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2011, 7 (02) : 287 - 301
[19] Model-based Runtime Verification Framework for Self-optimizing Systems
Zhao, Y.
Oberthur, S.
Kardos, M.
Rammig, F. J.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (04) : 125 - 145
[20] On controller and plant modeling for model-based formal verification
Lobov, Andrei
Lastra, Jose L. Martinez
Tuokko, Reijo
ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 121 - 128

← 1 2 3 4 5 →