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 条

[1] Testing of Safety-Critical Systems: An Aerospace Launch Application
Gario, Ahmed
Andrews, Anneliese
Hagerman, Seana
[J]. 2014 IEEE AEROSPACE CONFERENCE, 2014,
[2] Dependability validation, evaluation and testing of safety-critical aerospace systems
Carreira, J
Costa, D
[J]. DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 267 - 271
[3] Formal Verification of Safety-Critical Aerospace Systems
Paul, Saswata
Cruz, Elkin
Dutta, Airin
Bhaumik, Ankita
Blasch, Erik
Agha, Gul
Patterson, Stacy
Kopsaftopoulos, Fotis
Varela, Carlos
[J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2023, 38 (05) : 72 - 88
[4] Fault mitigation in safety-critical software systems
Subramanian, S
Elliott, L
Vishnuvajjala, RV
Tsai, WT
Mojdehbakhsh, R
[J]. NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
[5] Testing Experiences of Safety-Critical Embedded Systems
Bakker, Bryan
[J]. ADVANCES IN SYSTEMS SAFETY, 2011, : 169 - 186
[6] A soft error mitigation scheme for safety-critical computer systems
Yu, YY
Johnson, BW
[J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2005 PROCEEDINGS, 2005, : 514 - 519
[7] Application of SOA in Safety-Critical Embedded Systems
Rodrigues, Douglas
Pires, Rayner de Melo
Estrella, Julio Cezar
Vieira, Marco
Correa, Mario
Camargo Junior, Joao Batista
Jaquie Castelo Branco, Kalinka Regina Lucas
Trindade Junior, Onofre
[J]. CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 345 - +
[8] Improving Documentation Agility in Safety-Critical Software Systems Development For Aerospace
Silva Cardoso Rodrigues, Joaquim Manuel
Ferreira Ribeiro, J. Eduardo
Aguiar, Ademar
[J]. 2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 222 - 229
[9] Fail-Safe Testing of Safety-Critical Systems
Gario, Ahmed
Andrews, A. von Mayrhauser
[J]. 2014 23RD AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC), 2013, : 190 - 199
[10] Model Proposal for Performance Testing of Safety-Critical Systems
Spendla, Lukas
Tanuska, Pavol
Strbo, Milan
[J]. PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING (CASE-13), 2013, 45 : 42 - 45

← 1 2 3 4 5 →