Run-Time Assurance for Learning-Based Aircraft Taxiing

被引：21

作者：

Cofer, Darren ^{[1
]}

Amundson, Isaac ^{[1
]}

Sattigeri, Ramachandra ^{[1
]}

Passi, Arjun ^{[1
]}

Boggs, Christopher ^{[1
]}

Smith, Eric ^{[2
]}

Gilham, Limei ^{[2
]}

Byun, Taejoon ^{[3
]}

Rayadurgam, Sanjai ^{[3
]}

机构：

[1] Collins Aerosp, Charlotte, NC 28217 USA

[2] Kestrel Inst, Palo Alto, CA USA

[3] Univ Minnesota, Minneapolis, MN 55455 USA

来源：

2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS | 2020年

关键词：

machine learning; run-time assurance;

D O I：

10.1109/dasc50938.2020.9256581

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

Aircraft systems that include learning-enabled components (LECs) and their software implementations are not amenable to verification and certification using current methods. We have produced a demonstration of a run-time assurance architecture based on a neural network aircraft taxiing application that shows how several advanced technologies could be used to ensure safe operation.

引用

页数：9

共 20 条

[1]

An J., 2015, SPECIAL LECT IE, V2

[2]

[Anonymous], 2019, CORR

[3]

[Anonymous], 2011, RTCA DO-178C

[4]

ASTM International, 2017, Standard, DOI 10.1520/F3269-17

[5]

Bhattacharyya S, 2015, INT CONF UNMAN AIRCR, P270, DOI 10.1109/ICUAS.2015.7152300

[6] Input Prioritization for Testing Neural Networks [J].

Byun, Taejoon ;

Sharma, Vaibhav ;

Vijayakumar, Abhishek ;

Rayadurgam, Sanjai ;

Cofer, Darren .

2019 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING (AITEST), 2019, :63-70

[7] A Formal Approach to Constructing Secure Air Vehicle Software [J].

Cofer, Darren ;

Gacek, Andrew ;

Backes, John ;

Whalen, Michael W. ;

Pike, Lee ;

Foltzer, Adam ;

Podhradsky, Michal ;

Klein, Gerwin ;

Kuz, Lhor ;

Andronick, June ;

Heiser, Gernot ;

Stuart, Douglas .

COMPUTER, 2018, 51 (11) :14-23

[8]

Doersch C., 2016, ARXIV160605908

[9]

Feiler P.H., 2012, SEI SERIES SOFTWARE

[10] The JKIND Model Checker [J].

Gacek, Andrew ;

Backes, John ;

Whalen, Mike ;

Wagner, Lucas ;

Ghassabani, Elaheh .

COMPUTER AIDED VERIFICATION, CAV 2018, PT II, 2018, 10982 :20-27

← 1 2 →