A study of methodology for securing control software based FMEA-FTA coordination

Since any risk in the safety‐critical systems (SCSs) might lead to a terrible disaster, the utmost quality attribute of these systems is safety. Researchers are putting their efforts to ensure the safety of such systems. This paper summarizes the state‐of‐the‐art in the area of the safety attribute of such critical systems. The in depth literature survey is performed to explore the several methods/models used for safety analysis of the SCS. The limitations of such methods are also shown regarding their applicability in SCS of the nuclear power plant (NPP). We also propose a framework to perform safety analysis, which can deal with these limitations and demonstrated the approach on a case study of NPP. Further, the direction for future work is advised to extend the further scope of research based on the case study.

show abstract

“…Takahashi et al 46 presented a procedure for securing control software safety through performing FTA and FMEA. The method works in two phases.…”

Section: Cluster II (Based On S/w Failures)mentioning

confidence: 99%

Safety analysis of safety‐critical systems for their applicability on NPP systems: A state‐of‐the‐art review

Kumar

Maurya

Singh

et al. 2021

Quality & Reliability Eng

View full text Add to dashboard Cite

show abstract

“…Software can frequently be a factor in causing accidents. A method is demonstrated in [32] that repeatedly conducts Failure Mode and Effects Analysis (FMEA) and FTA until there are zero risks in the control software; thus, it makes the control software safer. FMEA is employed in order to analyze any control software risks.…”

Section: State Of the Artmentioning

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

Improving the Branded Service of Vehicles with Intelligent Driver Assistance Systems

Makarova

Shubenkova

Tsybunov

et al. 2020

Lecture Notes in Networks and Systems

View full text Add to dashboard Cite

A study of methodology for securing control software based FMEA-FTA coordination

Cited by 9 publications

References 2 publications

Safety analysis of safety‐critical systems for their applicability on NPP systems: A state‐of‐the‐art review

Safety analysis of safety‐critical systems for their applicability on NPP systems: A state‐of‐the‐art review

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

Improving the Branded Service of Vehicles with Intelligent Driver Assistance Systems

Contact Info

Product

Resources

About