Dynamic Assurance Cases: A Pathway to Trusted Autonomy

被引：27

作者：

Asaadi, Erfan ^{[1
]}

Denney, Ewen ^{[1
,2
]}

Menzies, Jonathan ^{[1
,2
]}

Pai, Ganesh J. ^{[1
,2
]}

Petroff, Dimo ^{[1
,2
]}

机构：

[1] KBR Inc, Houston, TX 77002 USA

[2] NASA, Ames Res Ctr, Mountain View, CA USA

来源：

COMPUTER | 2020年 / 53卷 / 12期

关键词：

Monitoring; Autonomous systems; Runtime; Active appearance model; Probabilistic logic;

D O I：

10.1109/MC.2020.3022030

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We propose a system architecture that facilitates dynamic assurance of autonomous systems embedding machine learning-based components. We also introduce dynamic assurance cases as a generic framework to provide justified confidence in their capabilities.

引用

页码：35 / 46

页数：12

共 16 条

[1]

[Anonymous], 2019, Standard ISO/PAS 21448: 2019

[2]

[Anonymous], 2018, SCSC141B

[3]

[Anonymous], 2017, ASTMF326917

[4]

[Anonymous], 2019, NTSBHAR1903

[5]

[Anonymous], 2020, STANDARD SAFETY EVAL

[6]

Asaadi Erfan, 2020, Computer Safety, Reliability, and Security. 39th International Conference, SAFECOMP 2020. Proceedings. Lecture Notes in Computer Science (LNCS 12234), P270, DOI 10.1007/978-3-030-54549-9_18

[7] Towards Quantification of Assurance for Learning-enabled Components [J].

Asaadi, Erfan ;

Denney, Ewen ;

Pai, Ganesh .

2019 15TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2019), 2019, :55-62

[8] Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy [J].

Bloomfield, Robin ;

Khlaaf, Heidy ;

Conmy, Philippa Ryan ;

Fletcher, Gareth .

COMPUTER, 2019, 52 (09) :82-89

[9] Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases [J].

Calinescu, Radu ;

Weyns, Danny ;

Gerasimou, Simos ;

Iftikhar, Muhammad Usman ;

Habli, Ibrahim ;

Kelly, Tim .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (11) :1039-1069

[10]

Clothier R., 2017, P 17 AIAA AV TECHN I, P1, DOI [10.2514/6.2017-3275, DOI 10.2514/6.2017-3275]

← 1 2 →