Modeling real-time safety critical systems using hierarchical communicating real-time state machines and c-lang parser
Ahmed Bakr, Mostafa M. Fouda, May Salama, Abdelwahab Alsammak, Hossam Yahia · 2017
Functional safety is one of the most critical aspects of electronic systems. Testing functional safety of a real-time system requires taking time into consideration. In this paper, a new modeling approach, based on hierarchical communicating real-time state machines (H-CRSM) is proposed that models safety critical hazardous scenarios which may occur in a real-time system. The input system is implemented in ANSI-C that follows ISO 26262 standards. Our proposal automatically generates a model that saves important time aspects and characteristics of the real-time system. C-Lang parser is used to generate abstract syntax tree (AST) that is traversed and an H-CRSM model is generated. Two case studies demonstrate how the approach generates the H-CRSM model.