More Web Proxy on the site http://driver.im/

Article

Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling

Authors:

Ernesto Wandeler,

Lothar ThieleAuthors Info & Claims

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

Pages 80 - 89

https://doi.org/10.1145/1086228.1086246

Published: 18 September 2005 Publication History

Abstract

The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a component interface describes how a component can be used. A well designed component interface provides enough information to decide whether two or more components can work together properly in a system. In this work, we expand the idea of interface-based design to the area of real-time system design. Here, the term of 'working together properly' refers to questions like: Does the composed system satisfy all requested real-time properties such as delay and throughput constraints? For this, we introduce Real-Time Interfaces, that connect the principles of Real-Time Calculus with Interface-based Design. In contrast to traditional real-time system design, in interface-based real-time system design the compliance to real-time constraints is checked at composition time. This leads to faster design processes and partly removes the need for the classical binary search approach to find an economically dimensioned system. Further, interface-based real-time system design also benefits from the properties of incremental design and independent implementability.

References

[1]

A. Chakrabarti, L. de~Alfaro, T. Henzinger, and M. Stoelinga. Resource interfaces. In EMSOFT 03: Embedded Software, Lecture Notes in Computer Science 2855, pages 117--133. Springer-Verlag, 2003.

[2]

S. Chakraborty, S. Künzli, and L. Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proc. 6th Design, Automation and Test in Europe (DATE), pages 190--195, March 2003.

Digital Library

[3]

S. Chakraborty, S. Künzli, L. Thiele, A. Herkersdorf, and P. Sagmeister. Performance evaluation of network processor architectures: Combining simulation with analytical estimation. Computer Networks, 41(5):641--665, April 2003.

Digital Library

[4]

L. de Alfaro and T. Henzinger. Interface theories for component-based design. In EMSOFT 01: Embedded Software, Lecture Notes in Computer Science 2211, pages 148--165. Springer-Verlag, 2001.

Digital Library

[5]

L. de Alfaro, T. Henzinger, and M. Stoelinga. Timed interfaces. In EMSOFT 02: Embedded Software, Lecture Notes in Computer Science 2491, pages 108--122. Springer-Verlag, 2002.

Digital Library

[6]

L. de Alfaro and T. A. Henzinger. Interface automata. In Proc. Foundations of Software Engineering, pages 109--120. ACM Press, 2001.

Digital Library

[7]

L. de Alfaro and T. A. Henzinger. Interface-based design. In To appear in the Proceedings of the 2004 Marktoberdorf Summer School. Kluwer, 2005.

[8]

J. Le Boudec and P. Thiran. Network Calculus - A Theory of Deterministic Queuing Systems for the Internet. LNCS 2050, Springer Verlag, 2001.

Digital Library

[9]

C. Lee, M. Potkonjak, and W. H. Mangione-Smith. Mediabench: A tool for evaluating and synthesizing multimedia and communicatons systems. In International Symposium on Microarchitecture, pages 330--335, 1997.

Digital Library

[10]

K. Richter, M. Jersak, and R. Ernst. A formal approach to mpsoc performance verification. IEEE Computer, 36(4):60--67, April 2003.

Digital Library

[11]

I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In Proceedings of the Real-Time Systems Symposium (RTSS), pages 2--13. IEEE Press, 2003.

Digital Library

[12]

L. Thiele, S. Chakraborty, M. Gries, A. Maxiaguine, and J. Greutert. Embedded software in network processors -- models and algorithms. In Proc. 1st Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science 2211, pages 416--434, Lake Tahoe, CA, USA, 2001. Springer Verlag.

Digital Library

[13]

L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systems. In Proc. IEEE International Symposium on Circuits and Systems (ISCAS), volume~4, pages 101--104, 2000.

[14]

E. Wandeler, A. Maxiaguine, and L. Thiele. Quantitative characterization of event streams in analysis of hard real-time applications. Real-Time Systems, 29(2-3):205--225, March 2005.

Digital Library

[15]

E. Wandeler and L. Thiele. Abstracting functionality for modular performance analysis of hard real-time systems. In Asia South Pacific Design Automation Conference (ASP-DAC), 2005.

Digital Library

[16]

E. Wandeler, L. Thiele, M. Verhoef, and P. Lieverse. System architecture evaluation using modular performance analysis - a case study. In 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2004.

[17]

S. Wang, S. Rho, Z. Mai, R. Bettati, and W. Zhao. Real-time component-based systems. In Proceedings of the 11th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 428--437. IEEE Press, 2005.

Digital Library

Cited By

Finzi ACraciunas SBoyer M(2024)Integrating Sporadic Events in Time-triggered Systems via Affine Envelope Approximations2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00010(15-28)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00010
Pop TPop PEles PPeng Z(2019)Analysis and optimisation of hierarchically scheduled multiprocessor embedded systemsInternational Journal of Parallel Programming10.1007/s10766-007-0059-936:1(37-67)Online publication date: 27-Jan-2019
https://dl.acm.org/doi/10.1007/s10766-007-0059-9
Zhang HAnanthanarayanan GBodik PPhilipose MBahl PFreedman MAkella AHowell J(2017)Live video analytics at scale with approximation and delay-toleranceProceedings of the 14th USENIX Conference on Networked Systems Design and Implementation10.5555/3154630.3154661(377-392)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3154630.3154661
Show More Cited By

Index Terms

Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Modeling methodologies

Recommendations

Real-time interfaces for composing real-time systems
EMSOFT '06: Proceedings of the 6th ACM & IEEE International conference on Embedded software

Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these approaches and proves properties like refinement and independent ...
Compositional analysis of real-time embedded systems
CASES '11: Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems

This tutorial is concerned with various aspects of component-based design and compositional analysis of real-time embedded systems. It will first give an overview of component-based frameworks and their underlying principles. It will then go in-depth ...
Interface-Based Design of Real-Time Systems with Hierarchical Scheduling
RTAS '06: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium

In interface-based design, components are described by a component interface. In contrast to a component description that describes what a component does, a component interface describes how a component can be used, and a well designed component ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

September 2005

390 pages

ISBN:1595930914

DOI:10.1145/1086228

Conference Chair:
Wayne Wolf
Princeton University, Princeton, NJ

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

EMSOFT05

Sponsor:

EMSOFT05: Fifth ACM International Conference on Embedded Software 2005

September 18 - 22, 2005

NJ, Jersey City, USA

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

78
Total Citations
View Citations
799
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)2

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Finzi ACraciunas SBoyer M(2024)Integrating Sporadic Events in Time-triggered Systems via Affine Envelope Approximations2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00010(15-28)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00010
Pop TPop PEles PPeng Z(2019)Analysis and optimisation of hierarchically scheduled multiprocessor embedded systemsInternational Journal of Parallel Programming10.1007/s10766-007-0059-936:1(37-67)Online publication date: 27-Jan-2019
https://dl.acm.org/doi/10.1007/s10766-007-0059-9
Zhang HAnanthanarayanan GBodik PPhilipose MBahl PFreedman MAkella AHowell J(2017)Live video analytics at scale with approximation and delay-toleranceProceedings of the 14th USENIX Conference on Networked Systems Design and Implementation10.5555/3154630.3154661(377-392)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3154630.3154661
Hu BHuang KChen GCheng LKnoll A(2017)Online workload monitoring with the feedback of actual execution time for real-time systemsProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130564(764-769)Online publication date: 27-Mar-2017
https://dl.acm.org/doi/10.5555/3130379.3130564
Hu BHuang KChen GCheng LKnoll A(2017)Online workload monitoring with the feedback of actual execution time for real-time systemsDesign, Automation & Test in Europe Conference & Exhibition (DATE), 201710.23919/DATE.2017.7927092(764-769)Online publication date: Mar-2017
https://doi.org/10.23919/DATE.2017.7927092
Zhang HStafman LOr AFreedman M(2017)SLAQProceedings of the 2017 Symposium on Cloud Computing10.1145/3127479.3127490(390-404)Online publication date: 24-Sep-2017
https://dl.acm.org/doi/10.1145/3127479.3127490
Kim TLim JSon HShin BLee DHyun S(2017)A Multi-Dimensional Smart Community Discovery Scheme for IoT-Enriched Smart HomesACM Transactions on Internet Technology10.1145/306217818:1(1-20)Online publication date: 26-Oct-2017
https://dl.acm.org/doi/10.1145/3062178
Lindner MLindner ALindgren P(2017)RTFM-coreACM SIGBED Review10.1145/3036686.303669014:1(29-36)Online publication date: 5-Jan-2017
https://dl.acm.org/doi/10.1145/3036686.3036690
Behere STörngren M(2017)Educating embedded systems hackersACM SIGBED Review10.1145/3036686.303668714:1(8-15)Online publication date: 5-Jan-2017
https://dl.acm.org/doi/10.1145/3036686.3036687
Clarkson KWoodruff D(2017)Low-Rank Approximation and Regression in Input Sparsity TimeJournal of the ACM10.1145/301913463:6(1-45)Online publication date: 30-Jan-2017
https://dl.acm.org/doi/10.1145/3019134
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents