Staff Members - Benha University
Ahmed Bakr, Mostafa M. Fouda, May Mohamed, Abdelwahab Alsammak, and Hossam Yahia, “Hazard Analysis of Real-time Safety Critical Systems Using Hierarchical Communicating Real-time State Machines Formal Model”, Proceedings of the 2017 International Conference on Computer Engineering and Systems (ICCES 2017), Cairo, Egypt, December 19-20, 2017.
Proceedings of the 2017 International Conference on Computer Engineering and Systems (ICCES 2017), Cairo, Egypt • 2017
Publication Information
Authors
Ahmed Bakr, Mostafa M. Fouda, May Mohamed, Abdelwahab Alsammak, and Hossam Yahia
Keywords
Not Available
Journal
Proceedings of the 2017 International Conference on Computer Engineering and Systems (ICCES 2017), Cairo, Egypt
Publisher
IEEE
Volume
Not Available
Issue
Not Available
Pages
Not Available
publication.type
International
Paper Link
Open Link
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.