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.

An Efficient Schedule Synthesis Method Based on Constraint Programming Technology for Time-Triggered Ethernet

Back-to-Back Optimization of Schedules for Time-Triggered Ethernet

Real-time scheduling scheme for EPA networks

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

Solutions for PLC Intelligent Industrial-Control Network Based on TTE

An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet

Enhancing Throughput for TTEthernet via Co-optimizing Routing and Scheduling: An Online Time-Varying Graph-based Method

Co-design Approach of Scheduling and Routing in Time Sensitive Networking

Design Synthesis and Optimization Strategy for Low Delay and High Bandwidth Utilization in Time-Sensitive Networking

TTDeep - Time-Triggered Scheduling for Real-Time Ethernet Via Deep Reinforcement Learning.

Just a Second -- Scheduling Thousands of Time-Triggered Streams in Large-Scale Networks

Time-Triggered Scheduling for Time-Sensitive Networking with Preemption

Dependability-Aware Routing and Scheduling for Time-Sensitive Networking

Memetic-based Schedule Synthesis for Communication on Time-Triggered Embedded Systems

A Heuristic Scheduling Algorithm for Time-Trigger Flows in Time-Sensitive Networking

Safety Critical Real-Time Networks Based on Ethernet Technology

Fast Real-Time Scheduling for Ethernet-Based Train Control Networks.

An Optimization Algorithm for Joint Routing and Scheduling in Time-Sensitive Networks

Flow-Based Joint Programming of Time Sensitive Task and Network

An Efficient Time‐Sensitive Networking Traffic Scheduling Method for Train Communication Network

Synchronous Time-Sensitive Networking Scheduling Algorithm Based on Dynamic Time Margin