Name
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. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/ICESS.2009.48 | ICESS |
Keywords | Field | DocType |
automata theory,race condition,intelligent method,event synchronization analysis,event automaton,event,concurrency control,event synchronization sequence analysis,race condition graph,timing parameter,targeted embedded system,timed event model,search problems,event synchronization sequence,concurrent system,genetic algorithm,embedded system,real-time embedded system,synchronization order,genetic algorithms,event synchronization order,search problem,feasible sequence,embedded systems,synchronisation,synchronization sequence,timed event automata,reachability analysis,information analysis,synchronization,satisfiability,computer science,automata,erbium,algorithm design and analysis,embedded software,real time systems | Race condition,Automata theory,Synchronization,Concurrency control,Computer science,Correctness,Data synchronization,Real-time computing,Synchronization (computer science),Genetic algorithm,Distributed computing,Embedded system | Conference |
ISSN | ISBN | Citations |
2576-3504 | 978-1-4244-4359-8 | 1 |
PageRank | References | Authors |
0.38 | 16 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yan Chen | 1 | 3 | 1.08 |
| Yann-hang Lee | 2 | 844 | 235.22 |
| Xiaofeng Xu | 3 | 425 | 37.75 |
| W. Eric Wong | 4 | 1 | 0.38 |
| Donghui Guo | 5 | 107 | 21.93 |