Testing Proper Mitigation in Safety-Critical Systems: An Aerospace Launch Application

被引：0

作者：

Andrews, Anneliese ^{[1
]}

Elakeili, Salwa ^{[1
]}

Gario, Ahmed ^{[1
]}

Hagerman, Seana ^{[1
]}

机构：

[1] Univ Denver, Dept Comp Sci, Denver, CO 80208 USA

来源：

2015 IEEE AEROSPACE CONFERENCE | 2015年

关键词：

MODEL;

D O I：

暂无

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

In the aerospace domain, defects in mitigating failures can have very high costs. This makes it imperative to have systematic testing approaches for making sure that failure mitigations work properly. This paper describes a model-based testing approach that targets mitigations of system failures. It includes models of the system, of possible failures, and required mitigations. It uses all three to construct a mitigation test suite. We apply the approach to a Launch vehicle.

引用

页数：19

共 50 条

[21] Are your systems safety-critical?
Redmill, F
[J]. IEE REVIEW, 1997, 43 (03): : 93 - &
[22] Dependability of safety-critical systems
Buja, G
Castellan, S
Menis, R
Zuccollo, A
[J]. 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
[23] Certification of Safety-Critical Systems
Leveson, Nancy G.
Thomas, John P.
[J]. COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
[24] Safety-critical systems design
Douglass, BP
[J]. ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
[25] Cybersecurity in safety-critical systems
Walker, Alastair
[J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 30 (05)
[26] SAFETY-CRITICAL SYSTEMS - INTRODUCTION
BENNETT, P
[J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
[27] Virtual testing in a safety-critical environment
Dullaway, NJ
Morris, AJ
[J]. ADVANCES IN COMPUTATIONAL STRUCTURES TECHNOLOGY, 1996, : 213 - 218
[28] The ethics of safety-critical systems
Bowen, J
[J]. COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
[29] Safety-critical systems design
Douglass, Bruce Powel
[J]. Electronic Engineering (London), 1998, 70 (862):
[30] Testing concepts in Safety-Critical Development
Taliga, Miklos
Steiner-Komoroczki, Henriette
[J]. 2018 18TH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INFORMATICS (CINTI), 2018, : 105 - 108

← 1 2 3 4 5 →