Staff Members - Benha University
Modeling real-time safety critical systems using hierarchical communicating real-time state machines and c-lang parser
2017 Eighth International Conference on Intelligent Computing and Information Systems (ICICIS) • 2017
Publication Information
Authors
Ahmed M Bakr;Mostafa M Fouda;May Salama;Abdelwahab K Alsammak;Hossam Yahia
Keywords
hazard analysis, fault tree analysis, hierarchical
CRSM, ANSI-C, real-time systems.
Journal
2017 Eighth International Conference on Intelligent Computing and Information Systems (ICICIS)
Publisher
Not Available
Volume
Not Available
Issue
Not Available
Pages
244-251
publication.type
Local
Paper Link
Not Available
Supplementary Materials
Not Available
Abstract
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.
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.