Banner

Ahmed Bakr, Mostafa M. Fouda, May Mohamed, Abdelwahab Alsammak, and Hossam Yahia, “Modeling Real-time Safety Critical Systems Using Hierarchical Communicating Real-time State Machines and C-Lang Parser”, Proceedings of the 2017 IEEE International Conference on Intelligent Computing and Information Systems (ICICIS 2017), Cairo, Egypt, December 5-7, 2017.

Proceedings of the 2017 IEEE International Conference on Intelligent Computing and Information Systems (ICICIS 2017), Cairo, Egypt • 2018
العودة
معلومات البحث
المؤلفون https://ieeexplore.ieee.org/document/8260054/
الكلمات المفتاحية Not Available
المجلة العلمية Proceedings of the 2017 IEEE International Conference on Intelligent Computing and Information Systems (ICICIS 2017), Cairo, Egypt
الناشر IEEE
المجلد Not Available
العدد Not Available
الصفحات Not Available
publication.type International
رابط البحث Open Link
المواد المرفقة Not Available
الملخص
Functional safety is one of the most critical aspects of electronic systems. Testing functional safety of a real-time system requires taking time into consideration. In this paper, a new modeling approach, based on hierarchical communicating real-time state machines (H-CRSM) is proposed that models safety critical hazardous scenarios which may occur in a real-time system. The input system is implemented in ANSI-C that follows ISO 26262 standards. Our proposal automatically generates a model that saves important time aspects and characteristics of the real-time system. C-Lang parser is used to generate abstract syntax tree (AST) that is traversed and an H-CRSM model is generated. Two case studies demonstrate how the approach generates the H-CRSM model.