research-article

Cyclic dependencies in modular performance analysis

Authors:

Bengt Jonsson,

Simon Perathoner,

Lothar Thiele,

Wang YiAuthors Info & Claims

EMSOFT '08: Proceedings of the 8th ACM international conference on Embedded software

Pages 179 - 188

https://doi.org/10.1145/1450058.1450083

Published: 19 October 2008 Publication History

Get Access

Abstract

The Modular Performance Analysis based on Real-Time Calculus (MPA-RTC), developed by Thiele et al., is an abstraction for the analysis of component-based real-time systems. The formalism uses an abstract stream model to characterize both workload and availability of computation and communication resources. Components can then be viewed as stream transformers. The Real-Time Calculus has been used successfully on systems where dependencies between components, via either workload or resource streams, are acyclic. For systems with cyclic dependencies the foundations and performance of the formalism are less well understood.

In this paper, we develop a general operational semantics underlying the Real-Time Calculus, and use this to show that the behavior of systems with cyclic dependencies can be analyzed by fixpoint iterations. We characterize conditions under which such iterations give safe results, and also show how precise the results can be.

References

[1]

M. Fekete. Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten. Mathematische Zeitschrift, 17:228--249, 1923.

Crossref

Google Scholar

[2]

M. Jersak, K. Richter, and R. Ernst. Performance analysis for complex embedded applications. Int. J. of Embedded Systems, 1(1/2):33--49, 2005.

Crossref

Google Scholar

[3]

G. Kahn. The semantics of a simple language for parallel programming. In IFIP 74, pages 471--475. North-Holland, 1974.

Google Scholar

[4]

J. Y. Le Boudec and P. Thiran. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer-Verlag New York, Inc., 2001.

Digital Library

Google Scholar

[5]

H. Schiøler, J. Jessen, J. Dalsgaard, and K. Larsen. Network calculus for real time analysis of embedded systems with cyclic task dependencies. In G. Hu, editor, Proc. 20th International Conference on Computers and Their Applications, CATA 2005, March 16-18, 2005, Louisiana, pages 326--332. ISCA, 2005.

Google Scholar

[6]

L. Thiele, S. Chakraborty, M. Gries, and S. Künzli. Design space exploration of network processor architectures. In Network Processor Design: Issues and Practices, Volume 1, pages 55--89. 2002.

Google Scholar

[7]

L. Thiele, S. Chakraborty, M. Gries, and S. Künzli. A framework for evaluating design tradeoffs in packet processing architectures. In 39th Design Automation Conference (DAC 2002), pages 880--885, New Orleans LA, USA, June 2002. ACM Press.

Digital Library

Google Scholar

[8]

E. Wandeler. Modular Performance Analysis and Interface-Based Design for Embedded RealTime Systems. PhD thesis, ETH Zürich, 2006.

Google Scholar

[9]

E. Wandeler, A. Maxiaguine, and L. Thiele. Quantitative characterization of event streams in analysis of hard real-time applications. In IEEE Real-Time and Embedded Technology and Applications Symposium, pages 450--461, 2004.

Digital Library

Google Scholar

[10]

E. Wandeler, L. Thiele, M. Verhoef, and P. Lieverse. System architecture evaluation using modular performance analysis - a case study. Software Tools for Technology Transfer (STTT), 8(6):649--667, Oct. 2006.

Digital Library

Google Scholar

[11]

R. Yates. Networks of real-time processes. In Best, editor, Proc. CONCUR '93, Theories of Concurrency: Unification and Extension, volume 715 of Lecture Notes in Computer Science, pages 384--397. Springer Verlag, 1993.

Digital Library

Google Scholar

Cited By

View all

Виталий Георгиевич П(2024)Модель доступности на основе теории сетевого исчисления для потоковой системы обработки данныхУправление большими системами: сборник трудов10.25728/ubs.2024.110.5(113-148)Online publication date: 31-Jul-2024
https://doi.org/10.25728/ubs.2024.110.5
Guidolin--Pina DBoyer MLe Boudec J(2024)Configuration of Guard Band and Offsets in Cyclic Queuing and ForwardingIEEE/ACM Transactions on Networking10.1109/TNET.2023.329305032:1(598-612)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1109/TNET.2023.3293050
Thomas LLe Boudec JMifdaoui A(2019)On Cyclic Dependencies and Regulators in Time-Sensitive Networks2019 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS46320.2019.00035(299-311)Online publication date: Dec-2019
https://doi.org/10.1109/RTSS46320.2019.00035
Show More Cited By

Index Terms

Cyclic dependencies in modular performance analysis
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

Embedded system's performance analysis with RTC and QT
APPT'07: Proceedings of the 7th international conference on Advanced parallel processing technologies

Maximal, minimal and mean response time are several performance metrics of embedded system. Some embedded systems have not real-time constraints, e.g. printer and router, but their mean case performance is more important, and some others have those ...
Local higher-order fixpoint iteration
Abstract
Local fixpoint iteration describes a technique that restricts fixpoint iteration in function spaces to needed arguments only. It has been studied well for first-order functions in abstract interpretation and also in model checking. ...
Discussion on the Usage of Real-Time Calculus to Model the FlexRay-Bus
SBESC '11: Proceedings of the 2011 Brazilian Symposium on Computing System Engineering

The FlexRay protocol is becoming the standard protocol for in-car communications systems. Therefore, there's greateffort in searching for a reliable and fast method to model and analyze the performance of the FlexRay bus. The last work regarding this ...

Comments

Information & Contributors

Information

Published In

EMSOFT '08: Proceedings of the 8th ACM international conference on Embedded software

October 2008

284 pages

ISBN:9781605584683

DOI:10.1145/1450058

Program Chairs:
Luca de Alfaro
University of California, Santa Cruz
,
Jens Palsberg
University of California, Los Angeles

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 October 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWEEK 08

Sponsor:

ESWEEK 08: Fourth Embedded Systems Week

October 19 - 24, 2008

GA, Atlanta, USA

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
261
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Виталий Георгиевич П(2024)Модель доступности на основе теории сетевого исчисления для потоковой системы обработки данныхУправление большими системами: сборник трудов10.25728/ubs.2024.110.5(113-148)Online publication date: 31-Jul-2024
https://doi.org/10.25728/ubs.2024.110.5
Guidolin--Pina DBoyer MLe Boudec J(2024)Configuration of Guard Band and Offsets in Cyclic Queuing and ForwardingIEEE/ACM Transactions on Networking10.1109/TNET.2023.329305032:1(598-612)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1109/TNET.2023.3293050
Thomas LLe Boudec JMifdaoui A(2019)On Cyclic Dependencies and Regulators in Time-Sensitive Networks2019 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS46320.2019.00035(299-311)Online publication date: Dec-2019
https://doi.org/10.1109/RTSS46320.2019.00035
Yang MPeng YJu RXu XYin QHuang K(2017)A Lookahead Behavior Model for Multi-Agent Hybrid SimulationApplied Sciences10.3390/app71010957:10(1095)Online publication date: 24-Oct-2017
https://doi.org/10.3390/app7101095
Bondorf SNikolaus PSchmitt J(2017)Quality and Cost of Deterministic Network CalculusProceedings of the ACM on Measurement and Analysis of Computing Systems10.1145/30844531:1(1-34)Online publication date: 13-Jun-2017
https://dl.acm.org/doi/10.1145/3084453
Kuiper GKurtin PBekooij M(2017)Hybrid Latency Minimization Approach using Model Checking and Dataflow AnalysisProceedings of the 20th International Workshop on Software and Compilers for Embedded Systems10.1145/3078659.3078665(41-50)Online publication date: 12-Jun-2017
https://dl.acm.org/doi/10.1145/3078659.3078665
Amari AMifdaoui A(2017)Worst-case timing analysis of ring networks with cyclic dependencies using network calculus2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA.2017.8046319(1-10)Online publication date: Aug-2017
https://doi.org/10.1109/RTCSA.2017.8046319
Altisen KMoy M(2016)Causality problem in real-time calculusFormal Methods in System Design10.1007/s10703-016-0250-y48:1-2(1-45)Online publication date: 1-Apr-2016
https://dl.acm.org/doi/10.1007/s10703-016-0250-y
Guan NGuan N(2016)Finitary Real-Time CalculusTechniques for Building Timing-Predictable Embedded Systems10.1007/978-3-319-27198-9_9(183-208)Online publication date: 4-Feb-2016
https://doi.org/10.1007/978-3-319-27198-9_9
Guan NGuan N(2016)Parametric Utilization BoundsTechniques for Building Timing-Predictable Embedded Systems10.1007/978-3-319-27198-9_7(129-155)Online publication date: 4-Feb-2016
https://doi.org/10.1007/978-3-319-27198-9_7
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.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Embedded system's performance analysis with RTC and QT

Local higher-order fixpoint iteration

Discussion on the Usage of Real-Time Calculus to Model the FlexRay-Bus

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations