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. |
