| publication name | 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. |
|---|---|
| Authors | Ahmed Bakr, Mostafa M. Fouda, May Mohamed, Abdelwahab Alsammak, and Hossam Yahia |
| year | 2017 |
| keywords | |
| journal | Proceedings of the 2017 International Conference on Computer Engineering and Systems (ICCES 2017), Cairo, Egypt |
| volume | Not Available |
| issue | Not Available |
| pages | Not Available |
| publisher | IEEE |
| Local/International | International |
| Paper Link | https://ieeexplore.ieee.org/document/8275381/ |
| Full paper | download |
| 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.