Testing of safety-critical systems: An aerospace launch application

Gario, Ahmed; Andrews, Anneliese; Hagerman, Seana

doi:10.1109/aero.2014.6836410

Cited by 16 publications

(5 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus we not only show that we can generate mitigation tests for an aerospace application, we also demon strate that this approach works for multiple model types and application areas. Future work will combine the approach to generate failures in [13] with testing mitigation as presented here to provide an end-to-end testing methodology. We also plan to use CADP [1].…”

Section: Mitigation Requirements Models Safety Mitigation Testsmentioning

confidence: 97%

See 1 more Smart Citation

Testing proper mitigation in safety-critical systems: An aerospace Launch application

Andrews

Elakeili

Gario

et al. 2015

2015 IEEE Aerospace Conference

Self Cite

View full text Add to dashboard Cite

In the aerospace domain, defects in mitigating fail ures 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.

show abstract

Section: Mitigation Requirements Models Safety Mitigation Testsmentioning

confidence: 97%

“…Gano et al [13], provides a test generation method for faI lures, but not for testing proper mitigation.…”

Section: Inmentioning

confidence: 99%

Testing proper mitigation in safety-critical systems: An aerospace Launch application

Andrews

Elakeili

Gario

et al. 2015

2015 IEEE Aerospace Conference

Self Cite

View full text Add to dashboard Cite

show abstract

“…Other approaches, such as the work of Andrews et al [51], are centered on robotics. Furthermore, safety-critical domains, such as health care [52] and aerospace [53], also use MBT. An exemplary survey of model-based testing in the automotive domain was conducted by Altinger et al [15].…”

Section: A Related Workmentioning

confidence: 99%

Survey of Model-Based Security Testing Approaches in the Automotive Domain

2023

View full text Add to dashboard Cite

Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical systems. As a result of the high number of different technologies and connectivity features involved, testing these systems to identify security vulnerabilities is a big challenge. Security testing techniques, such as penetration testing, are often manual methods that are applied comparatively late in the vehicle development process. Thus, vulnerabilities are only detected late or after development, leading to higher costs and more patching effort. To reduce the amount of testing resources in general and enable early and automated testing, modelbased testing methods have been established in several domains, such as information technology and the automotive domain. The transfer of model-based testing approaches to automotive security testing could help to detect vulnerabilities earlier than other, manual methods by automatically generating, executing, or simulating security tests. In this study, we review the literature on model-based test approaches in the automotive domain. First, we consider security-independent approaches to obtain an overview of applied models, formalisms, test selection criteria, and test generation techniques. In addition, we investigate, whether and how model-based approaches are applied for automotive security testing. Overall, we identified 63 publications related to model-based testing and 29 publications with regard to model-based security testing. The aim of this study is to provide an overview and direct comparison between these approaches. In this manner, the state of model-based security testing in the automotive domain, current challenges, and potential research areas are determined. INDEX TERMSAutomotive security, model-based testing, model-based security testing.

show abstract

“…In [20], an integration between the behavioral and fault models is done to generate more test cases for the system model. An aerospace application was used to validate their work.…”

Section: State Of the Artmentioning

confidence: 99%

“…The traversal of the analysis tree in Figure 9 in an order of {25, 19,26,33,27,34,20,28,13,6, 14} generates the previous scenario. State element DSD 0 is substituted by true when the state element has no children.…”

mentioning

confidence: 99%

A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems

Bakr

Salama

Alsammak³

2021

csci

View full text Add to dashboard Cite

Real-time systems must avoid hazardous situations. To achieve this, their functionality should be investigated under time constraints. In this paper, a modeling based on Hierarchical Communicating Real-time State Machine (H- CRSM) and analysis methodology is proposed to examine statically ANSI-C code to obtain the hazardous events in the input system. A hazardous event equation is taken as input to the proposed system. The output is a list of hazardous scenarios. A path in the code showing the cause of the undesirable event is associated with each hazardous scenario. The strength of the proposed methodology is that the process of hazardous situations detection does not require running the ANSI-C program multiple times with different input values. It also focuses on analyzing the software level of the life cycle. Most of the verification tools check the system level. The system level may be bug-free but the software level may not.

show abstract

Testing of safety-critical systems: An aerospace launch application

Cited by 16 publications

References 25 publications

Testing proper mitigation in safety-critical systems: An aerospace Launch application

Testing proper mitigation in safety-critical systems: An aerospace Launch application

Survey of Model-Based Security Testing Approaches in the Automotive Domain

A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems

Contact Info

Product

Resources

About