skip to main content
research-article

Hierarchical scheduling over off- and on-chip deterministic networks

Published: 03 November 2016 Publication History

Abstract

In this paper we present a compositional model for distributed virtualized systems communicating over on-chip/off-chip deterministic networks implementing an end-to-end or partial time-triggered paradigm. We derive system-level constraints for combined task-, virtualization-and network-level static scheduling enabling the end-to-end composition of schedules for systems featuring table-driven (guest) operating systems. In the absence of a time-triggered run-time system, we analyze the composition problem with the aid of hierarchical scheduling methods for abstract resources. Moreover, we identify and discuss possible tradeoffs and optimization opportunities that arise when scheduling across multiple (virtualized) software layers in tandem with the deterministic network.

References

[1]
Abdelzaher, T. F., and Shin, K. G. Combined task and message scheduling in distributed real-time systems. IEEE Trans. Parallel Distrib. Syst. 10, 11 (1999), 1179--1191.
[2]
Buttazzo, G. C. Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series). Springer-Verlag, 2004.
[3]
Craciunas, S. S., and Serna Oliver, R. Combined task-and network-level scheduling for distributed time-triggered systems. Real-Time Systems 52, 2 (2016), 161--200.
[4]
Craciunas, S. S., Serna Oliver, R., and Ecker, V. Optimal static scheduling of real-time tasks on distributed time-triggered networked systems. In Proc. ETFA (2014), IEEE Computer Society.
[5]
Durrieu, G., Fohler, G., Gala, G., Girbal, S., Gracia Pérez, D., Noulard, E., Pagetti, C., and Pérez, S. DREAMS about reconfiguration and adaptation in avionics. In Proc. ERTS (2016).
[6]
Fohler, G. Changing operational modes in the context of pre run-time scheduling. IEICE Transactions on Information and Systems Special Issue on Responsive Computer Systems (November 1993).
[7]
Forget, J., Grolleau, E., Pagetti, C., and Richard, P. Dynamic priority scheduling of periodic tasks with extended precedences. In Proc. ETFA (2011), IEEE Computer Society.
[8]
Guasque, A., Balbastre, P., Brocal, V., and Crespo, A. Schedulability analysis of hierarchical systems with arbitrary scheduling in the global level. In Proc. CESCIT (2015).
[9]
Hanzalek, Z., Burget, P., and Šucha, P. Profinet IO IRT message scheduling. In Proc. ECRTS (2009), IEEE Computer Society.
[10]
Matic, S., and Henzinger, T. A. Trading end-to-end latency for composability. In Proc. RTSS (2005), IEEE Computer Society.
[11]
Metzner, A., Franzle, M., Herde, C., and Stierand, I. Scheduling distributed real-time systems by satisfiability checking. In Proc. RTCSA (2005), IEEE Computer Society.
[12]
Murshed, A., Obermaisser, R., Ahmadian, H., and Khalifeh, A. Scheduling and allocation of time-triggered and event-triggered services for multi-core processors with networks-on-a-chip. In Proc. INDIN (2015).
[13]
Obermaisser, R., et al. Architectural style of DREAMS. Distributed Real-time Architecture for Mixed Criticality Systems (DREAMS) D1.2.1 (July 2014).
[14]
Pedro, P., and Burns, A. Schedulability analysis for mode changes in flexible real-time systems. In Proc. ECRTS (1998), IEEE Computer Society.
[15]
Pop, P., Eles, P., and Peng, Z. Schedulability-driven communication synthesis for time triggered embedded systems. Real-Time Syst. 26, 3 (2004), 297--325.
[16]
Real, J., and Crespo, A. Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Systems 26, 2 (2004), 161--197.
[17]
Sha, L., Rajkumar, R., Lehoczky, J., and Ramamritham, K. Mode change protocols for priority-driven preemptive scheduling. Real-Time Systems 1 (1988), 243--264.
[18]
Shin, I., and Lee, I. Periodic resource model for compositional real-time guarantees. In Proc. RTSS (2003), IEEE Computer Society.
[19]
Shin, I., and Lee, I. Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7, 3 (2008), 30:1--30:39.
[20]
Steiner, W., Bauer, G., Hall, B., and Paulitsch, M. TTEthernet: Time-Triggered Ethernet. In Time-Triggered Communication, R. Obermaisser, Ed. CRC Press, Aug 2011.
[21]
Steiner, W., and Dutertre, B. Automated formal verification of the TTEthernet synchronization quality. In NASA Formal Methods, vol. 6617 of Lecture Notes in Computer Science. Springer, 2011.
[22]
Zhang, L., Goswami, D., Schneider, R., and Chakraborty, S. Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems. In Proc. ASP-DAC (2014), IEEE Computer Society.

Cited By

View all
  • (2024)End-to-End Schedulability of Virtualized Distributed Time-Triggered SystemsProceedings of the 32nd International Conference on Real-Time Networks and Systems10.1145/3696355.3696364(242-254)Online publication date: 6-Nov-2024
  • (2024)Adaptive Hierarchical Meta-Scheduling for Distributed Time-Triggered Systems with Diverse Internal and System ArchitecturesIntegrated Systems: Data Driven Engineering10.1007/978-3-031-53652-6_7(117-133)Online publication date: 17-Sep-2024
  • (2022)Scheduling and Routing Synthesis for Off-Chip Time-Triggered Communication2022 2nd Asia-Pacific Conference on Communications Technology and Computer Science (ACCTCS)10.1109/ACCTCS53867.2022.00052(212-220)Online publication date: Feb-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review
ACM SIGBED Review  Volume 13, Issue 4
Special Issue on 14th International Workshop on RealTime Networks (RTN 2016)
September 2016
65 pages
EISSN:1551-3688
DOI:10.1145/3015037
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 November 2016
Published in SIGBED Volume 13, Issue 4

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)End-to-End Schedulability of Virtualized Distributed Time-Triggered SystemsProceedings of the 32nd International Conference on Real-Time Networks and Systems10.1145/3696355.3696364(242-254)Online publication date: 6-Nov-2024
  • (2024)Adaptive Hierarchical Meta-Scheduling for Distributed Time-Triggered Systems with Diverse Internal and System ArchitecturesIntegrated Systems: Data Driven Engineering10.1007/978-3-031-53652-6_7(117-133)Online publication date: 17-Sep-2024
  • (2022)Scheduling and Routing Synthesis for Off-Chip Time-Triggered Communication2022 2nd Asia-Pacific Conference on Communications Technology and Computer Science (ACCTCS)10.1109/ACCTCS53867.2022.00052(212-220)Online publication date: Feb-2022
  • (2021)Towards a Robust MMIO-based Synchronized Clock for Virtualized Edge Computing Devices2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )10.1109/ETFA45728.2021.9613473(01-08)Online publication date: 7-Sep-2021

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media