Abstract:Ethernet-based time-triggered networks (e.g. TTEthernet) enable the cost-effective integration of safety-critical and real-time distributed applications in domains where determinism is a key requirement, like the aerospace, automotive, and industrial domains. Time-Triggered communication typically follows an offline and statically configured schedule (the synthesis of which is an NP-complete problem) guaranteeing contention-free frame transmissions. Extending the end-to-end determinism towards the application layers requires that software tasks running on end nodes are scheduled in tight relation to the underlying time-triggered network schedule. In this paper we discuss the simultaneous co-generation of static network and task schedules for distributed systems consisting of preemptive time-triggered tasks which communicate over switched multi-speed time-triggered networks. We formulate the schedule problem using first-order logical constraints and present alternative methods to find a solution, with or without optimization objectives, based on satisfiability modulo theories (SMT) and mixed integer programming (MIP) solvers, respectively. Furthermore, we present an incremental scheduling approach, based on the demand bound test for asynchronous tasks, which significantly improves the scalability of the scheduling problem. We demonstrate the performance of the approach with an extensive evaluation of industrial-sized synthetic configurations using alternative state-of-the-art SMT and MIP solvers and show that, even when using optimization, most of the problems are solved within reasonable time using the incremental method.

Synchronization of Interconnected Embedded Systems Via Timer Interrupts.

Multi-Timer Based Event Synchronization Control for Sensor Networks and Its Application.

Channel Surfing: Defending Wireless Sensor Networks from Interference

Consensus of First-Order Multi-Agent Systems under Event-Triggered Communication

Synchronisation of linear continuous multi-agent systems with switching topology and communication delay

Energy-Efficient Time Synchronization in Wireless Sensor Networks Via Temperature-Aware Compensation.

Dynamic Triggering Mechanisms for Distributed Adaptive Synchronization Control and Its Application to Circuit Systems

Channel Surfing

Analysis and Design of Synchronization for Heterogeneous Network.

An EDF Interrupt Handling Scheme for Real-Time Kernel: Design and Task Simulation

Distributed Adaptive Event-Triggered Fault-Tolerant Synchronization for Multiagent Systems

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques

Modeling and Control of bittide Synchronization

Event-Based Synchronization of Heterogeneous Complex Networks Subject to Transmission Delays.

Transient Bipartite Synchronization for Cooperative-Antagonistic Multiagent Systems with Switching Topologies

Event-triggered asynchronous intermittent communication strategy for synchronization in complex dynamical networks

An Input-Based Triggering Approach to Leader-Following Problems.

Distributed Virtual Time-Based Synchronization for Simulation of Cyber-Physical Systems

Global Time Model in Sensor Networks

Distributed integral-type event-triggered synchronization of multiagent systems: Distributed integral-type event-triggered synchronization of MAS

Combined task- and network-level scheduling for distributed time-triggered systems