A genetic algorithm based approach for event synchronization analysis in real-time embedded systems

Yan Chen, Yann-Hang Lee, Xiaofeng Xu, W. Eric Wong, Donghui Guo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009
Pages201-208
Number of pages8
DOIs
StatePublished - Oct 12 2009
Event2009 International Conference on Embedded Software and Systems, ICESS 2009 - Hangzhou, Zhejiang, China
Duration: May 25 2009May 27 2009

Publication series

NameProceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009

Other

Other2009 International Conference on Embedded Software and Systems, ICESS 2009
CountryChina
CityHangzhou, Zhejiang
Period5/25/095/27/09

Keywords

  • Embedded system
  • Event
  • Genetic algorithm
  • Race condition
  • Synchronization sequence
  • Timed event model

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'A genetic algorithm based approach for event synchronization analysis in real-time embedded systems'. Together they form a unique fingerprint.

  • Cite this

    Chen, Y., Lee, Y-H., Xu, X., Wong, W. E., & Guo, D. (2009). A genetic algorithm based approach for event synchronization analysis in real-time embedded systems. In Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009 (pp. 201-208). [5066649] (Proceedings - 2009 International Conference on Embedded Software and Systems, ICESS 2009). https://doi.org/10.1109/ICESS.2009.48