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 条

[21] Adaptive Stabilization of Model-Based Networked Control Systems
Garcia, Eloy
Antsaklis, Panos J.
2011 AMERICAN CONTROL CONFERENCE, 2011, : 1094 - 1099
[22] Fuzzy model-based adaptive control of nonlinear systems
Golea, N
Golea, A
2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 1504 - 1507
[23] MODEL-BASED VALIDATION AND VERIFICATION OF ANOMALIES IN LEGISLATION
Strahonja, Vjeran
JOURNAL OF INFORMATION AND ORGANIZATIONAL SCIENCES, 2006, 30 (02) : 295 - 303
[24] Model-based verification and validation of component structures for RF and optical experimental systems
Norton, Charles D.
Fang, Houfei
Michel, Thierry
Moussessian, Alina
Schiermeier, John
Springer, Paul
Otero, Richard
2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2008, : 1467 - +
[25] A model-based framework for software portability and verification in embedded power management systems
Fathabadi, Asieh Salehi
Butler, Michael J.
Yang, Sheng
Maeda-Nunez, Luis Alfonso
Bantock, James
Al-Hashimi, Bashir M.
Merrett, Geoff V.
JOURNAL OF SYSTEMS ARCHITECTURE, 2018, 82 : 12 - 23
[26] A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems
Das, Susmoy
Sharma, Arpit
39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 1712 - 1721
[27] A runtime model-based framework for specifying and verifying adaptive RTE systems
Fredj, Nissaf
Kacem, Yessine Hadj
Abid, Mohamed
INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2020, 63 (04) : 309 - 326
[28] A Model-based Framework for Predicting Performance in Self-adaptive Systems
Young, Stuart H.
Mazzuchi, Thomas A.
Sarkani, Shahram
2014 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, 2014, 28 : 513 - 521
[29] A Simulation Platform for Characteristic Model-Based Adaptive Control Systems
Shi, Liangren
Lin, Zongli
Li, Yuanlong
2015 34TH CHINESE CONTROL CONFERENCE (CCC), 2015, : 1984 - 1989
[30] Verification and validation of knowledge-based systems with formal specifications
Meseguer, P
Preece, AD
KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 331 - 343

← 1 2 3 4 5 →