Next Article in Journal
Role of Happiness as a Habitual Process
Previous Article in Journal
Diamond Coated LW-SAW Sensors-Study of Diamond Thickness Effect
Article Menu
Issue 3 (IS4SI 2017) cover image

Article Versions

Export Article

Open AccessProceedings
Proceedings 2017, 1(3), 171; doi:10.3390/IS4SI-2017-04018

Synthesis of Extremely Large Time-Triggered Network Schedules

School of Innovation, Design and Engineering, Mälardalens University, 721 23 Västerås, Sweden
Presented at the IS4SI 2017 Summit DIGITALISATION FOR A SUSTAINABLE SOCIETY, Gothenburg, Sweden, 12–16 June 2017
Published: 9 June 2017
(This article belongs to the Proceedings of the IS4SI 2017 Summit DIGITALISATION FOR A SUSTAINABLE SOCIETY)
Download PDF [192 KB, uploaded 9 August 2017]


Synthesis of time-triggered network schedules is a known practice to obtain low jitter and bounded end-to-end delay needed in some applications where not only the information but the transmission timings are crucial. However, synthesizing such schedules is a NP-complete problem where state-of-the-art synthesizers are being out scaled by the increasing size and complexity of new application networks. We present different divide and conquer approaches to handle the increasing complexity of future networks while maintaining the synthesis time reasonably low.
Keywords: real-time networks; time-triggered; scheduling; SMT solvers real-time networks; time-triggered; scheduling; SMT solvers
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. (CC BY 4.0).

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

SciFeed Share & Cite This Article

MDPI and ACS Style

Pozo, F. Synthesis of Extremely Large Time-Triggered Network Schedules. Proceedings 2017, 1, 171.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Metrics

Article Access Statistics



[Return to top]
Proceedings EISSN 2504-3900 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top