Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems

Gannous, Aiman; Andrews, Anneliese

doi:10.1109/issre.2019.00033

Cited by 7 publications

(5 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This has been already observed in other fields, like in automotive [33], and it is becoming evident the importance and the critical role of the software. 3 The need for certification brought to a strong re-engineering of the MVM software components, while the hardware components required only minimal changes. The whole process lasted around two months and it involved, in a continuous integration manner, all the stakeholders.…”

Section: A Case Descriptionmentioning

confidence: 99%

“…The development of safety-critical devices considers certification as a mandatory step [1]- [3] since a software failure or malfunctioning can compromise the health of human beings that interact with it. Examples of safety-critical systems certification can be found in avionics [4]- [6], robotic applications [7], cyber-physical systems [8], and healthcare [9].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19

Bombarda

Bonfanti

Galbiati

et al. 2021

2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)

View full text Add to dashboard Cite

During the COVID-19 pandemic, many researchers all over the world have offered their time and competencies to face the heavy consequences of the disease. This is the case of a group of physicists, engineers, and physicians that around the middle of March 2020 started to develop a simplified mechanical lung ventilator, called MVM (Mechanical Ventilator Milano), to answer the high request of ventilators for Acute Respiratory Distress Syndrome (ARDS) in intensive care units. A prototype was ready in around one month.Since medical software malfunctions can lead to injuries or death of patients, before marketing MVM ventilators and distributing them in hospitals, software certification in accordance with the IEC 62304 standard was mandatory to guarantee system reliability. The team was then complemented by computer scientists specifically devoted to this task. The software reengineering process, which lasted around two months from the end of the prototype, brought to a strong re-implementation of the device software components, which involved all the stakeholders in a continuous integration setting.In this paper, we report the experience of the MVM control SW re-engineering necessary to show evidence that the SW adheres to the standards and to consequently obtain the certification. We share results and lessons learned from this social project, where more than 100 volunteer researchers worked towards software certification at the extreme of their strength to get a real device finished in a rush since strongly required to support physicians in treating COVID-19 patients.

show abstract

Section: A Case Descriptionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19

Bombarda

Bonfanti

Galbiati

et al. 2021

2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)

View full text Add to dashboard Cite

show abstract

“…This approach meets many of the requirements of standards such as DO-178C. This approach allows for the integration of the description of software operation and the statistical model of device failure in one model, as presented by Gannous [14].…”

Section: Related Workmentioning

confidence: 96%

A Method for Modeling and Testing Near-Real-Time System Scenarios

Górski,

Stecz

2024

Applied Sciences

View full text Add to dashboard Cite

Unmanned platforms are becoming more and more widely used in both civilian and military applications. The flight safety of such aircraft is crucial. Therefore, it becomes necessary to formally model and rigorously test their software. Commencement of an unmanned air vehicle’s (UAV) operation requires it undergoing a certification process, which further heightens the quality requirements. The validation process of the designed system is presented on the example of verifying the correctness of the operational scenario involving the transfer of control over a UAV between two ground control stations (GCSs). The paper introduces the method of designing unmanned aerial vehicles and testing their functionality based on finite-state machines. The architecture description of the system encompasses the use cases view and logical view of the 1+5 architectural views model. The paper concentrates on system requirements and their transformation into unified modeling language (UML) state machine diagrams. The authors present a method of mapping requirements to functions related to flight safety and system dynamics models expressed as communicating extended finite-state machines (CEFSMs). Moreover, the paper shows the rules for testing the correctness of state machine models using methods based on determining flows in directed graphs. It should be emphasized that the paper considers the certification of UAV software components from the system safety viewpoint, which directly affects the airworthiness of the air platform.

show abstract

“…They developed a tool that uses these models while applying fail-safe testing on a case study from the aerospace domain. In [11], the authors extend the work from [10] to avoid the state space explosion induced by the safety analysis techniques; also, they evaluate the use of Model-Combinatorial based testing aiming to produce safety evidence for certification of safety-critical systems.…”

Section: Related Workmentioning

confidence: 99%