Article

Influence of different system abstractions on the performance analysis of distributed real-time systems

Authors:

Simon Perathoner,

Ernesto Wandeler,

Simon Schliecker,

Michael González HarbourAuthors Info & Claims

EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on Embedded software

Pages 193 - 202

https://doi.org/10.1145/1289927.1289959

Published: 30 September 2007 Publication History

Abstract

System level performance analysis plays a fundamental role in the design process of real-time embedded systems. Several different approaches have been presented so far to address the problem of accurate performance analysis of distributed embedded systems in early design stages. The existing formal analysis methods are based on essentially different concepts of abstraction. However, the influence of these different models on the accuracy of the system analysis is widely unknown, as a direct comparison of performance analysis methods has not been considered so far. We define a set of benchmarks aimed at the evaluation of performance analysis techniques for distributed systems. We apply different analysis methods to the benchmarks and compare the results obtained in terms of accuracy and analysis times, highlighting the specific effects of the various abstractions. We also point out several pitfalls for the analysis accuracy of single approaches and investigate the reasons for pessimistic performance predictions.

References

[1]

R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183--235, 1994.

Digital Library

[2]

G. Behrmann, A. David, K. G. Larsen, J. H&3229;kansson, P. Pettersson, W. Yi, and M. Hendriks. UPPAAL 4.0. In Proc. of the 3rd Intl. Conference on the Quantitative Evaluation of SysTems, IEEE Computer Society, pages 125--126, 2006.

Digital Library

[3]

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

Digital Library

[4]

M. González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez, and J. M. Drake Moyano. Mast: Modeling and analysis suite for real time applications. In Proc. of 13th Euromicro Conference on Real-Time Systems, pages 125--134. IEEE Computer Society, 2001.

Digital Library

[5]

M. Hendriks and M. Verhoef. Timed automata based analysis of embedded system architectures. In Workshop on Parallel and Distributed Real-Time Systems, 2006.

Digital Library

[6]

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System level performance analysis - the SymTA/S approach. IEE Proc. Computers and Digital Techniques, 152(2):148--166, March 2005.

[7]

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

[8]

J. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proc. of the Real-Time Systems Symposium, pages 201--209, 1990.

[9]

J. L. Medina, M. González Harbour, and J. M. Drake. Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems. In Proc. of the 22nd Real-Time Systems Symposium, pages 245--256. IEEE Computer Society Press, 2001.

Digital Library

[10]

C. Norström, A. Wall, and W. Yi. Timed automata as task models for event-driven systems. In Proc. of the 6th Intl. Conference on Real-Time Computing Systems and Applications, page 182. IEEE Computer Society, 1999.

Digital Library

[11]

J. C. Palencia and M. González Harbour. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In Proc. of the 20th Real-Time Systems Symposium, pages 328--339. IEEE Computer Society Press, 1999.

Digital Library

[12]

J. C. Palencia Gutiérrez and M. González Harbour. Schedulability analysis for tasks with static and dynamic offsets. In Proc. of the 19th Real-Time Systems Symposium. IEEE Computer Society, 1998.

Digital Library

[13]

S. Perathoner, E. Wandeler, and L. Thiele. Evaluation and comparison of performance analysis methods for distributed embedded systems. Technical Report 276, Computer Engineering and Networks Laboratory, ETH Zurich, Mar. 2006.

[14]

P. Pop, P. Eles, and Z. Peng. Performance estimation for embedded systems with data and control dependencies. In Proc. of the 8th intl. workshop on Hardware/software codesign, pages 62--66. ACM Press, 2000.

Digital Library

[15]

T. Pop, P. Eles, and Z. Peng. Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. In Proc. of the 10th intl. symposium on Hardware/software codesign, pages 187--192. ACM Press, 2002.

Digital Library

[16]

K. Richter. Compositional Performance Analysis. PhD thesis, Technical University of Braunschweig, 2004.

[17]

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

Digital Library

[18]

L. Thiele, S. Chakraborty, M. Gries, A. Maxiaguine, and J. Greutert. Embedded software in network processors - models and algorithms. In Proc. of the 1st intl. Workshop on Embedded Software, pages 416--434. Springer-Verlag, 2001.

Digital Library

[19]

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

[20]

K. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems), 40:117--134, 1994.

Digital Library

[21]

E. Wandeler and L. Thiele. Characterizing workload correlations in multi processor hard real-time systems. In Proc. of the 11th Real Time on Embedded Technology and Applications Symposium, pages 46--55. IEEE Computer Society, 2005.

Digital Library

[22]

T. Y. Yen and W. Wolf. Performance estimation for real-time distributed embedded systems. In Proc. of the 1995 Intl. Conference on Computer Design, pages 64--71. IEEE Computer Society, 1995.

Digital Library

Cited By

Suvorova E(2023)Dynamically Reconfigurable Automata for Estimating Interaction Between Data Flows in High-Performance Computing Systems2023 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)10.1109/WECONF57201.2023.10148042(1-6)Online publication date: 29-May-2023
https://doi.org/10.1109/WECONF57201.2023.10148042
Pinto MWehrmeister Mde Oliveira A(2021)Real-Time Performance Evaluation for RoboticsJournal of Intelligent & Robotic Systems10.1007/s10846-020-01301-1101:2Online publication date: 2-Feb-2021
https://doi.org/10.1007/s10846-020-01301-1
Gezgin TKoopmann BRettberg A(2018)Combining an Iterative State-Based Timing Analysis with a Refinement Checking TechniqueSystem Level Design from HW/SW to Memory for Embedded Systems10.1007/978-3-319-90023-0_8(88-99)Online publication date: 17-Apr-2018
https://doi.org/10.1007/978-3-319-90023-0_8
Show More Cited By

Index Terms

Influence of different system abstractions on the performance analysis of distributed real-time systems
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

Influence of different abstractions on the performance analysis of distributed hard real-time systems

System level performance analysis plays a fundamental role in the design process of hard real-time embedded systems. Several different approaches have been presented so far to address the problem of accurate performance analysis of distributed embedded ...
Performance analysis of real-time component architectures: a model interchange approach
WOSP '08: Proceedings of the 7th international workshop on Software and performance

Model interchange approaches support the analysis of software architecture and design by enabling a variety of tools to automatically exchange performance models using a common schema. This paper builds on one of those interchange formats, the Software ...
Analyzing commercial processor performance numbers for predicting performance of applications of interest
SIGMETRICS '07: Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems

Current practice in benchmarking commercial computer systems is to run a number of industry-standard benchmarks and to report performance numbers. The huge amount of machines and the large number of benchmarks for which performance numbers are published ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on Embedded software

September 2007

304 pages

ISBN:9781595938251

DOI:10.1145/1289927

Program Chairs:
Christoph M. Kirsch
University of Salzburg
,
Reinhard Wilhelm
Saarland University

Copyright © 2007 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: 30 September 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESWEEK07

Sponsor:

ESWEEK07: Third Embedded Systems Week

September 30 - October 3, 2007

Salzburg, Austria

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

37
Total Citations
View Citations
520
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)3

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Suvorova E(2023)Dynamically Reconfigurable Automata for Estimating Interaction Between Data Flows in High-Performance Computing Systems2023 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)10.1109/WECONF57201.2023.10148042(1-6)Online publication date: 29-May-2023
https://doi.org/10.1109/WECONF57201.2023.10148042
Pinto MWehrmeister Mde Oliveira A(2021)Real-Time Performance Evaluation for RoboticsJournal of Intelligent & Robotic Systems10.1007/s10846-020-01301-1101:2Online publication date: 2-Feb-2021
https://doi.org/10.1007/s10846-020-01301-1
Gezgin TKoopmann BRettberg A(2018)Combining an Iterative State-Based Timing Analysis with a Refinement Checking TechniqueSystem Level Design from HW/SW to Memory for Embedded Systems10.1007/978-3-319-90023-0_8(88-99)Online publication date: 17-Apr-2018
https://doi.org/10.1007/978-3-319-90023-0_8
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
Siyoum FGeilen MCorporaal H(2016)End-to-End Latency Analysis of Dataflow Scenarios Mapped Onto Shared Heterogeneous ResourcesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2015.247200435:4(535-548)Online publication date: Apr-2016
https://doi.org/10.1109/TCAD.2015.2472004
Bouillard AThierry É(2016)Tight performance bounds in the worst-case analysis of feed-forward networksDiscrete Event Dynamic Systems10.1007/s10626-015-0213-226:3(383-411)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s10626-015-0213-2
Martin SMedlej S(2015)Toward a Scalable Trajectory Approach for FIFO Scheduled Flows Sharing a Switched Ethernet networkProceedings of the 2015 IEEE 18th International Symposium on Real-Time Distributed Computing10.1109/ISORC.2015.45(127-133)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1109/ISORC.2015.45
Gezgin TWeber RBüker M(2015)State-Based Real-Time Analysis for Function Networks and MarteProceedings of the 2015 IEEE 18th International Symposium on Real-Time Distributed Computing10.1109/ISORC.2015.41(158-165)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1109/ISORC.2015.41
Pérez HGutiérrez J(2014)A survey on standards for real-time distribution middlewareACM Computing Surveys10.1145/253263646:4(1-39)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1145/2532636
Gezgin THenkler SStierand IRettberg A(2014)Evaluation of a state-based real-time scheduling analysis technique2014 12th IEEE International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2014.6945501(158-163)Online publication date: Jul-2014
https://doi.org/10.1109/INDIN.2014.6945501
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