Article
Version 1
Preserved in Portico This version is not peer-reviewed
Methods for Large-Scale Time-Triggered Network Scheduling
Version 1
: Received: 7 May 2019 / Approved: 8 May 2019 / Online: 8 May 2019 (11:53:33 CEST)
A peer-reviewed article of this Preprint also exists.
Pozo, F.; Rodriguez-Navas, G.; Hansson, H. Methods for Large-Scale Time-Triggered Network Scheduling. Electronics 2019, 8, 738. Pozo, F.; Rodriguez-Navas, G.; Hansson, H. Methods for Large-Scale Time-Triggered Network Scheduling. Electronics 2019, 8, 738.
Abstract
Future cyber-physical systems may extend over broad geographical areas, like cities or regions, thus requiring the deployment of large real-time networks. A strategy to guarantee predictable communication over such networks is to synthesize an offline time-triggered communication schedule. However, this synthesis problem is computationally hard (NP-complete), and existing approaches do not scale satisfactorily to the required network sizes. This article presents a segmented offline synthesis method which substantially reduces this limitation, being able to generate time-triggered schedules for large hybrid (wired and wireless) networks. We also present a series of algorithms and optimizations that increase the performance and compactness of the obtained schedules while solving some of the problems inherent to segmented approaches. We evaluate our approach on a set of realistic large-size multi-hop networks, significantly larger than those considered in the existing literature. The results show that our segmentation reduces the synthesis time up to two orders of magnitude.
Keywords
Real-Time Networks; Scheduling; Time-Triggered; SMT Solvers; Cyber-Physical Systems
Subject
Engineering, Industrial and Manufacturing Engineering
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment
