@inproceedings{bb83265fa59941e2965d8daedf6d6677,
title = "A genetic algorithm based approach for event synchronization analysis in real-time embedded systems",
abstract = "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.",
keywords = "Embedded system, Event, Genetic algorithm, Race condition, Synchronization sequence, Timed event model",
author = "Yan Chen and Yann-Hang Lee and Xiaofeng Xu and Wong, {W. Eric} and Donghui Guo",
year = "2009",
doi = "10.1109/ICESS.2009.48",
language = "English (US)",
isbn = "9780769536781",
series = "Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009",
pages = "201--208",
booktitle = "Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009",
note = "2009 International Conference on Embedded Software and Systems, ICESS 2009 ; Conference date: 25-05-2009 Through 27-05-2009",
}