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

共 8 条

[1]

[Anonymous], P 16 IEEE INT S HIGH

[2]

[Anonymous], 2011, RTCADO178C

[3]

ASCA Inc., 2015, DEV FRAM VAL VER MOD

[4] Linear and Nonlinear Controllers Applied to Fixed-Wing UAV [J].

Espinoza, Tadeo ;

Dzul, Alejandro ;

Llama, Miguel .

INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, 2013, 10

[5]

Fossen T. I., 2011, MATH MODELS CONTROL

[6]

Guarro S., 2012, P 11 INT C PROB SAF

[7]

Ozguner U., 1990, P 5 IEEE INT S INT C, V1, P2

[8]

U. S. Nuclear Regulatory Commission, 2009, NUREGCR6985

← 1 →