Fail-safe testing of safety-critical systems: a case study and efficiency analysis

Gario, Ahmed; Andrews, Anneliese; Hagerman, Seana

doi:10.1007/s11219-015-9283-5

Cited by 7 publications

(6 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Gario et al [10] propose a testing approach based on behavioral and fault models of the system. They build the behavioral model as a communicating EFSM (CEFSM) and the fault model as a fault tree.…”

Section: Related Workmentioning

confidence: 99%

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

Quijano

Varshosaz

2022

2022 IEEE Conference on Software Testing, Verification and Validation (ICST)

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

Quijano

Varshosaz

2022

2022 IEEE Conference on Software Testing, Verification and Validation (ICST)

View full text Add to dashboard Cite

“…Then industry stakeholders (manufacturers and authorities) produced guidelines (standards) to meet the requirements and develop systems and software in line with regulations. Systems and components, whether separately or interconnected, must be designed so that the occurrence of catastrophic failures that reduce flight or landing safety is "extremely improbable" and is not due to a single failure; this is known as a fail-safe design concept [Gario 2018].…”

Section: B Software Certification In Aeronauticsmentioning

confidence: 99%

Towards a continuous certification of safety-critical avionics software

Baron

Louis

2021

Computers in Industry

View full text Add to dashboard Cite

Many industries use safety-critical systems and software, the failure of which may result in the loss of human lives. This article investigates the development and certification of safetycritical software, with a focus on the avionics industry. It highlights the problems encountered in companies to demonstrate compliance with the certification requirements and indicates current industrial practices. It demonstrates the interest and importance of closely and continuously integrating certification requirements in the software development process. It underlines a very recent trend in industry that consists in taking inspiration from agile principles in order to ensure that certification requirements applicable to software development are met as early as possible. It presents some successful industrial experiments and concludes on practical lessons that could be transferred to other projects.

show abstract

“…Estimate interactions between different data flows and software layers in order to estimate risk [12].…”

Section: Safetymentioning

confidence: 99%

“…Employing clear graphical presentation of safety data and predicted interactions between different data flows and software layers to effectively estimate risk [12].…”

Section: Safetymentioning

confidence: 99%

“…In the field of cyber security, the assurance of dependability of Cyber-Physical Systems (CPS) relies on the design of proper tools [11]. These must be capable of estimating the interactions between different data flows and layers of software in order to effectively estimate risk and present this in a clear, graphical form [12]. Increasing the safety of digitalised systems, e.g.…”

Section: Hybrid Ertms/ Etcs Levelmentioning

confidence: 99%

See 1 more Smart Citation

Towards Mobile and Intelligent Railway Transport: A Review of Recent Ertms Related Research

Ranjbar

Olsson

2020

WIT Transactions on the Built Environment

View full text Add to dashboard Cite

The development of the European Railway Traffic Management System (ERTMS) throughout Europe over the last two decades to remove obstacles to providing an interoperable railway network has been facing several challenges. This study briefly highlights several of these challenges by analysing the current architecture of ERTMS and main concerns such as its implementation, the interoperability of communication, formal methods, hybrid ERMS (Level 3), safety, and human factors. This study has taken a systematic approach to data collection and analysis through a review of the current literature. The studies examined illustrate that it is necessary to reduce the number of components in order to pivot the system toward mobile equipment, autonomous trains, and decentralised communication. In the area of formalisation, every supplier and responsible party conducting modelling and testing of the system uses a different tool. Here, we conclude it would be appropriate to develop a robust and reliable tool for modelling, formalisation, testing and the validation of critical safety systems in the railway industry according to its particular specifications and functionalities, e.g. for ERTMS L3, including moving block, virtual coupling, and Automatic Train Operation (ATO). To bridge gaps between human operation and new technologies, reduce human error, and increase performance in the railway industry, a stronger emphasis on the development of employees' skills with new technologies is highly recommended. In order to build upon previous investments in ERTMS and to guarantee backwards and forwards interoperability, it is necessary to exploit hybrid solutions and to gradually update the current systems.

show abstract

Fail-safe testing of safety-critical systems: a case study and efficiency analysis

Cited by 7 publications

References 40 publications

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

Towards a continuous certification of safety-critical avionics software

Towards Mobile and Intelligent Railway Transport: A Review of Recent Ertms Related Research

Contact Info

Product

Resources

About