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 条

[31] An approach for testing safety-critical software
Li, WW
Xu, ZW
Jin, Y
[J]. NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
[32] Software testing for safety-critical applications
Wang, LF
Tan, KC
[J]. IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
[33] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
Gebre-Egziabher, Demoz
[J]. PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
[34] Application protocols for safety-critical CAN-networked systems
Bertoluzzo, Manuele
Buja, Giuseppe
[J]. PROCEEDINGS OF 14TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE (EPE-PEMC 2010), 2010,
[35] Integrating Blockchain in Safety-Critical Systems: An Application to the Nuclear Industry
Diaz, Manuel
Soler, Enrique
Llopis, Luis
Trillo, Joaquin
[J]. IEEE ACCESS, 2020, 8 (08): : 190605 - 190619
[36] The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems
Agrawal, Kunal
Baruah, Sanjoy
Guo, Zhishan
Li, Jing
[J]. 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
[37] Integrate hardware/software device testing for use in a safety-critical application
Kaufman, LM
Salinas, MH
Williams, RD
Giras, TC
[J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2003 PROCEEDINGS, 2003, : 132 - 137
[38] An Automatic Test Case Generator for Testing Safety-Critical Software Systems
Malekzadeh, Mehdi
Ainon, Raja Noor
[J]. 2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 163 - 167
[39] Development of a framework for automated systematic testing of safety-critical embedded systems
Kandl, Susanne
Kirner, Raimund
Puschner, Peter
[J]. PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
[40] Selective Regression Testing of Safety-Critical Systems: A Black Box Approach
Andrews, Anneliese
Elakeili, Salwa
Alhaddad, Ahmed
[J]. 2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY - COMPANION (QRS-C 2015), 2015, : 22 - 31

← 1 2 3 4 5 →