Methods for Large-Scale Time-Triggered Network Scheduling
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2019-06-01
|
| Series: | Electronics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2079-9292/8/7/738 |
| _version_ | 1798004099927506944 |
|---|---|
| author | Francisco Pozo Guillermo Rodriguez-Navas Hans Hansson |
| author_facet | Francisco Pozo Guillermo Rodriguez-Navas Hans Hansson |
| author_sort | Francisco Pozo |
| collection | DOAJ |
| description | 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 by up to two orders of magnitude. |
| first_indexed | 2024-04-11T12:19:14Z |
| format | Article |
| id | doaj.art-5af52a8c953e4ddc89e33e65dbd3f922 |
| institution | Directory Open Access Journal |
| issn | 2079-9292 |
| language | English |
| last_indexed | 2024-04-11T12:19:14Z |
| publishDate | 2019-06-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Electronics |
| spelling | doaj.art-5af52a8c953e4ddc89e33e65dbd3f9222022-12-22T04:24:10ZengMDPI AGElectronics2079-92922019-06-018773810.3390/electronics8070738electronics8070738Methods for Large-Scale Time-Triggered Network SchedulingFrancisco Pozo0Guillermo Rodriguez-Navas1Hans Hansson2School of Innovation, Design and Engineering, Mälardalen University, 72123 Västerås, SwedenSchool of Innovation, Design and Engineering, Mälardalen University, 72123 Västerås, SwedenSchool of Innovation, Design and Engineering, Mälardalen University, 72123 Västerås, SwedenFuture 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 by up to two orders of magnitude.https://www.mdpi.com/2079-9292/8/7/738real-time networksschedulingtime-triggeredSMT solverscyber-physical systems |
| spellingShingle | Francisco Pozo Guillermo Rodriguez-Navas Hans Hansson Methods for Large-Scale Time-Triggered Network Scheduling Electronics real-time networks scheduling time-triggered SMT solvers cyber-physical systems |
| title | Methods for Large-Scale Time-Triggered Network Scheduling |
| title_full | Methods for Large-Scale Time-Triggered Network Scheduling |
| title_fullStr | Methods for Large-Scale Time-Triggered Network Scheduling |
| title_full_unstemmed | Methods for Large-Scale Time-Triggered Network Scheduling |
| title_short | Methods for Large-Scale Time-Triggered Network Scheduling |
| title_sort | methods for large scale time triggered network scheduling |
| topic | real-time networks scheduling time-triggered SMT solvers cyber-physical systems |
| url | https://www.mdpi.com/2079-9292/8/7/738 |
| work_keys_str_mv | AT franciscopozo methodsforlargescaletimetriggerednetworkscheduling AT guillermorodrigueznavas methodsforlargescaletimetriggerednetworkscheduling AT hanshansson methodsforlargescaletimetriggerednetworkscheduling |