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

Real-time systems could be vulnerable to hazardous situations. Thus, testing their functionality under time constraint is of utmost importance. In this paper, time critical safety situations are analyzed using a novel methodology that is based on Hierarchical Communicating Real-time State Machines (H-CRSM). The proposed method accepts as input an ANSI-C that is ISO 26262 adherent, and a hazardous event equation which is undesirable to occur in all cases. The output is a list of hazardous scenarios that may happen in the input C project. Each hazardous scenario shows a path in the input C project with specific values to the variables appearing in each condition in that path which causes the input hazardous event to occur. This process is done statically without any need to run the C program multiple times with different input values.