A Genetic Algorithm Based Approach for Event Synchronization Analysis in Real-time Embedded Systems

作者：Chen Yan; Lee Yann Hang^*; Xu Xiaofeng; Wong W Eric; Guo Donghui

来源：6th International Conference on Embedded Software and Systems, 2009-05-25 To 2009-05-27.

DOI：10.1109/ICESS.2009.48

• embedded system
• event
• synchronization sequence
• timed event model
• race condition
• genetic algorithm

In real-time embedded systems, due to race conditions, synchronization order between events may be different from one execution to another. This behavior, is permissible as in concurrent systems, but should be fully analyzed to ensure the correctness of the system. In this paper, a new intelligent method is presented to analyze event synchronization sequence in embedded systems. Our goal is to identify the feasible sequence, and to determine timing parameters that lead to these sequences. Our approach adopts timed event automata (TEA) to model the targeted embedded system and use a race condition graph (RCG) to specify event synchronization sequence (SYN-Spec). A genetic algorithm working with simulation is used to analyze the timing parameters in the target model and to verify whether a defined SYN-Spec is satisfied or not. A case study shows that the method proposed is able to find potential execution sequences according to the event synchronization orders.

• 出版日期2009
• 单位厦门大学