Sökning: onr:"swepub:oai:DiVA.org:mdh-45101" >
Methods for large-s...
Methods for large-scale time-triggered network scheduling
-
- Pozo Pérez, Francisco Manuel (författare)
- Mälardalens högskola,Inbyggda system
-
- Rodriguez-Navas, Guillermo (författare)
- Mälardalens högskola,Inbyggda system
-
- Hansson, Hans (författare)
- Mälardalens högskola,Inbyggda system
-
(creator_code:org_t)
- 2019-06-29
- 2019
- Engelska.
-
Ingår i: Electronics. - : MDPI AG. - 2079-9292. ; 8:7
- Relaterad länk:
-
https://www.mdpi.com...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.3...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- Cyber-physical systems
- Real-time networks
- Scheduling
- SMT solvers
- Time-triggered
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas