Hazard analysis of real-time safety critical systems using hierarchical communicating real-time state machines formal model

Bakr, Ahmed M.; Fouda, Mostafa M.; Salama, M.; Alsammak, Abdelwahab K.; Yahia, Hossam

doi:10.1109/icces.2017.8275381

Cited by 2 publications

(3 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An introduction to the analysis system with the explanation on a simple case study can be found in our paper [13]. The focus of the proposed analysis system is the analysis of the UE equation.…”

Section: Proposed Analyzermentioning

confidence: 99%

“…Algorithm 14 [13] shows the abstract steps for building an analysis tree. Due to the recursive nature of the construction of the analysis tree process, elements can be…”

Section: Analysis Tree Constructionmentioning

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%

See 2 more Smart Citations

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

Bakr

Salama

Alsammak³

2021

csci

Self Cite

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

Section: Proposed Analyzermentioning

confidence: 99%

“…Algorithm 14 [13] shows the abstract steps for building an analysis tree. Due to the recursive nature of the construction of the analysis tree process, elements can be…”

Section: Analysis Tree Constructionmentioning

confidence: 99%