Run-Time Assurance for Learning-Based Aircraft Taxiing

被引：15
|
作者：
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
相关论文
共 50 条
  • [1] Learning Program Behavior for Run-Time Software Assurance
    Agrawal, Hira
    Behrens, Clifford
    Dasarathy, Balakrishnan
    Fook, Leslie Lee
    [J]. COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS, 2009, 63 : 135 - +
  • [2] Run-Time Assurance for Learning-Enabled Systems
    Cofer, Darren
    Amundson, Isaac
    Sattigeri, Ramachandra
    Passi, Arjun
    Boggs, Christopher
    Smith, Eric
    Gilham, Limei
    Byun, Taejoon
    Rayadurgam, Sanjai
    [J]. NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 361 - 368
  • [3] Toward Run-Time Assurance in General Aviation and Unmanned Aircraft Vehicle Autopilots
    Fuller, Justin G.
    Hook, Loyd
    Hutchins, Nathan
    Maleki, K. Niki
    Skoog, Mark A.
    [J]. 2016 IEEE/AIAA 35TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2016,
  • [4] Run-Time Assurance: A Rising Technology
    Fuller, Justin G.
    [J]. 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
  • [5] AITuning: Machine Learning-Based Tuning Tool for Run-Time Communication Libraries
    Fanfarillo, Alessandro
    Del Vento, Davide
    [J]. PARALLEL COMPUTING: TECHNOLOGY TRENDS, 2020, 36 : 409 - 418
  • [6] An Integrity Assurance Mechanism for Run-Time Programs
    Xu, Ziyao
    He, Yeping
    Deng, Lingli
    [J]. INFORMATION SECURITY AND CRYPTOLOGY, 2009, 5487 : 389 - 405
  • [7] Machine Learning-Based Run-Time Anomaly Detection in Software Systems: An Industrial Evaluation
    Huch, Fabian
    Golagha, Mojdeh
    Petrovska, Ana
    Krauss, Alexander
    [J]. 2018 IEEE WORKSHOP ON MACHINE LEARNING TECHNIQUES FOR SOFTWARE QUALITY EVALUATION (MALTESQUE), 2018, : 13 - 18
  • [8] Run-Time Assurance for the E-care@home System
    Ahmed, Mobyen Uddin
    Fotouhi, Hossein
    Kockemann, Uwe
    Linden, Maria
    Tomasic, Ivan
    Tsiftes, Nicolas
    Voigt, Thiemo
    [J]. INTERNET OF THINGS (IOT) TECHNOLOGIES FOR HEALTHCARE, HEALTHYIOT 2017, 2018, 225 : 107 - 110
  • [9] Learning Run-time Compositions of Interacting Adaptations
    Cardozo, Nicolas
    Dusparic, Ivana
    [J]. 2020 IEEE/ACM 15TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS, 2020, : 108 - 114
  • [10] Java-MaC: A Run-Time Assurance Approach for Java Programs
    MoonZoo Kim
    Mahesh Viswanathan
    Sampath Kannan
    Insup Lee
    Oleg Sokolsky
    [J]. Formal Methods in System Design, 2004, 24 : 129 - 155
12345