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

Free registration required

Executive Summary

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. The authors' goal is to identify the feasible sequence, and to determine timing parameters that lead to these sequences. Their 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).

  • Format: PDF
  • Size: 748.46 KB