Generation of fault-tolerant state-based communication schedules for real-time systems

Akramul Azim
2017 EURASIP Journal on Embedded Systems  
State-based schedules use a time division multiple access (TDMA) mechanism that supports executing conditional semantics and making on-the-fly decisions at runtime in each communication cycle. Until now, state-based schedules are unable to tolerate transient faults due to the assumption that stations make the on-the-fly decision on which message to execute next. Stations may make a faulty decision at run time in an unreliable communication environment such as wireless medium due to the presence
more » ... of transient faults. This faulty decision causes state inconsistency among the stations in the system. In this work, we extend state-based schedules to tolerate faulty decisions in environments where transient faults can occur at the communication layer. Our proposed approach generates fault-tolerant state-based schedules using an integer linear programming optimization model after reducing the possibility of state inconsistency through using a clock and a sampling rate synchronization mechanism. The optimization model maximizes the use of time slots to place checkpoints for fault tolerance and resolving state inconsistency.
doi:10.1186/s13639-017-0082-x fatcat:iqopstyx6jegfpmjoeugcaoura