skip to main content
article

Compositional schedulability analysis for cyber-physical systems

Published: 01 January 2008 Publication History

Abstract

Cyber-physical systems (CPSs) are becoming all-pervasive, and due to increasing complexity they are designed using component-based approaches. Temporal constraints of such complex CPSs are then modeled using hierarchical scheduling frameworks. Therefore, there is a need to develop compositional schedulability analysis techniques for such CPSs. In this essay, we describe one such CPS present in air-crafts. We also discuss the hierarchical frameworks that are found in these systems, and highlight shortcomings of existing techniques in analyzing them.

References

[1]
{1} Green Hills Software, ARINC 653 partition scheduler. In www.ghs.com/products/safety_critical/arinc653.html.
[2]
{2} Avionics application software standard interface: Required services (ARINC 653-2). Technical report, AEEC, 2006.
[3]
{3} L. Almeida and P. Pedreiras. Scheduling within temporal partitions: response-time analysis and server design. In EMSOFT , 2004.
[4]
{4} R. I. Davis and A. Burns. Resource sharing in hierarchical fixed priority pre-emptive systems. In RTSS, 2006.
[5]
{5} A. Easwaran, M. Anand, and I. Lee. Compositional analysis framework using EDP resource models. In RTSS, 2007.
[6]
{6} S. Matic and T. A. Henzinger. Trading end-to-end latency for composability. In RTSS, 2005.
[7]
{7} I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In RTSS, 2003.

Cited By

View all
  • (2023)Design space exploration for safe and optimal mapping of avionics functionality on IMA platforms2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)10.1109/DASC58513.2023.10311316(1-9)Online publication date: 1-Oct-2023
  • (2021)The Road towards Predictable Automotive High - Performance Platforms2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE51398.2021.9473996(1915-1924)Online publication date: 1-Feb-2021
  • (2020)Mixed-Criticality Scheduling in Compositional Real-Time Systems with Multiple Budget Estimates2020 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS49844.2020.00014(25-37)Online publication date: Dec-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review
ACM SIGBED Review  Volume 5, Issue 1
Special issue on the RTSS forum on deeply embedded real-time computing
January 2008
58 pages
EISSN:1551-3688
DOI:10.1145/1366283
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 2008
Published in SIGBED Volume 5, Issue 1

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Design space exploration for safe and optimal mapping of avionics functionality on IMA platforms2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)10.1109/DASC58513.2023.10311316(1-9)Online publication date: 1-Oct-2023
  • (2021)The Road towards Predictable Automotive High - Performance Platforms2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE51398.2021.9473996(1915-1924)Online publication date: 1-Feb-2021
  • (2020)Mixed-Criticality Scheduling in Compositional Real-Time Systems with Multiple Budget Estimates2020 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS49844.2020.00014(25-37)Online publication date: Dec-2020
  • (2020)Real-time virtualization with XvisorInternet of Things10.1016/j.iot.2020.100238(100238)Online publication date: May-2020
  • (2017)From the Internet of Things to Cyber-Physical Systems: The Holonic PerspectiveProcedia Manufacturing10.1016/j.promfg.2017.07.20411(989-995)Online publication date: 2017
  • (2012)Self-Reconfiguration Architecture for Distribution Automation System Based on Cyber-Physical2012 Asia-Pacific Power and Energy Engineering Conference10.1109/APPEEC.2012.6307381(1-4)Online publication date: Mar-2012
  • (2012)Forecast of Power Generation for Grid-Connected Photovoltaic System Based on Knowledge Representation of Rough Sets2012 Asia-Pacific Power and Energy Engineering Conference10.1109/APPEEC.2012.6307183(1-4)Online publication date: Mar-2012
  • (2010)Cyber-Physical Aware Model Based on IEC 61850 for Advanced Power Grid2010 Asia-Pacific Power and Energy Engineering Conference10.1109/APPEEC.2010.5448482(1-5)Online publication date: Mar-2010
  • (2009)Comparision of FieldBus Systems CAN, TTCAN, FlexRay and LIN in Passenger VehiclesProceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops10.1109/ICDCSW.2009.15(26-31)Online publication date: 22-Jun-2009

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media