Modeling real-time safety critical systems using hierarchical communicating real-time state machines and c-lang parser

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

doi:10.1109/intelcis.2017.8260054

Cited by 2 publications

(6 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The ANSI-C source code is reverse-engineered into a model that can be analyzed. An introduction to the modeling system can be found in our paper [14]. The input C-project is pre-compiled using Gnu's Not Unix (GNU) Compiler Collection (GCC) to solve all includes, definitions, macros, and processor-predefined commands.…”

Section: The Proposed Modelermentioning

confidence: 99%

“…The modeling system consists of three phases as shown in Figure 3 [14]. The Abstract Syntax Tree (AST) is generated when the precompiled ANSI-C code is parsed and the H-CRSM model [18,19] is generated when the AST is traversed.…”

Section: Figure 2 Proposed System Hierarchymentioning

confidence: 99%

“…The Abstract Syntax Tree (AST) is generated when the precompiled ANSI-C code is parsed and the H-CRSM model [18,19] is generated when the AST is traversed. A comparison table in our modeling paper [14] summarizes the best-known compilers. It was proven that the best option is the C Language front-end compiler (C-Lang) parser because it generates AST, it is implemented in C++ (which is very fast in processing), and uses the American National Standards Institute (ANSI) C99 and ANSI C11 standards.…”

Section: Figure 2 Proposed System Hierarchymentioning

confidence: 99%

“…The AST generated from the C-Lang parser is traversed, then the H-CRSM model is generated. The model contains one input C-project as shown in Figure 4 [14]. Each project contains one extern global machine that has the definition for all extern variables defined in the project.…”

Section: Figure 2 Proposed System Hierarchymentioning

confidence: 99%

“…A block can be an if-container, switch-container, loopcontainer, function-container, or self-compound-container. [14] shows a UML diagram for the container class. An average execution time is added for each transition to define the time needed to execute the command on that transition.…”

Section: Figure 2 Proposed System Hierarchymentioning

confidence: 99%

See 4 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: The Proposed Modelermentioning

confidence: 99%

Section: Figure 2 Proposed System Hierarchymentioning

confidence: 99%