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.
أعضاء هيئة التدريس - جامعة بنها