Scheduler for reliable distributed systems with time-triggered networks
Ayman N. Murshed, Roman Obermaisser · 2017
Real-time communication and reliability are two important requirements in the development of safety-critical embedded systems, which benefit from the inherent fault isolation and temporal predictability of time-triggered networks. These systems depend on redundant communication schedules that contain global time-based information of message transmissions with conflict-free paths through the switches. In these systems the use of redundancy to handle communication errors requires the pre-allocation of communication resources. On the basis of a time-triggered scheduler using Mixed Integer Linear Programming (MILP), this paper introduces a novel scheduler for redundant time-triggered networks that assigns messages to redundant paths. The scheduler considers the link reliability along with physical and logical models and produces a schedule where each message is assigned to two different paths along the switches. We also discuss and validate the approach with results from a prototype implementation.