Article

Combined approach to system level performance analysis of embedded systems

Authors:

Lothar ThieleAuthors Info & Claims

CODES+ISSS '07: Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis

Pages 63 - 68

https://doi.org/10.1145/1289816.1289835

Published: 30 September 2007 Publication History

Abstract

Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume certain system architectures and application domains, and are thus tailored to give tight analysis results for specific systems. We consider two different compositional analysis methods. Both methods have their particular strengths for different architectures and applications. In this paper, we aim to enhance the analysis capabilities for these techniques. A method for event model conversion allows us a seamless integration of the two methods. Finally, we present a detailed case study to show the applicability and benefits of the enhanced performance analysis technique.

References

[1]

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, Munich, Germany, March 2003.

Digital Library

[2]

S. Chakraborty, L. T. X. Phan, and P. S. Thiagarajan. Event count automata: A state-based model for stream processing systems. In Proc. 26th IEEE International Real-Time Systems Symposium (RTSS), pages 87--98, Washington, DC, USA, 2005.

Digital Library

[3]

ETAS: ERCOSEK V4.1 User's guide.

[4]

M. G. Harbour, J. J. G. García, J. C. P. Gutiérrez, and J. M. D. Moyano. MAST: Modeling and analysis suite for real time applications. In Proc. 13th Euromicro Conference on Real-Time Systems ECRTS, page 125, Washington, DC, USA, 2001.

Digital Library

[5]

M. G. Harbour and J. C. P. Gutiérrez. Response time analysis for tasks scheduled under EDF within fixed priorities. In Proc. Real-Time Systems Symposium (RTSS), pages 200--209, 2003.

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]

M. Jersak, K. Richter, and R. Ernst. Performance analysis for complex embedded applications. International Journal of Embedded Systems, Special Issue on Codesign for SoC, 2004.

[8]

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

[9]

A. Nandi and R. Marculescu. System-level power/performance analysis for embedded systems design. In Proc. 38th conference on Design automation (DAC), pages 599--604, New York, NY, USA, 2001.

Digital Library

[10]

C. Norström, A. Wall, and W. Yi. Timed automata as task models for event-driven systems. In Proc. 6th International Conference on Real-Time Computing Systems and Applications (RTCSA), page 182, Washington, DC, USA, 1999.

Digital Library

[11]

T. Pop, P. Eles, and Z. Peng. Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. In Proc. 10th international symposium on Hardware/software codesign (CODES), pages 187--192, New York, NY, USA, 2002.

Digital Library

[12]

R. Racu, A. Hamann, and R. Ernst. A formal approach to multi-dimensional sensitivity analysis of embedded real-time systems. In Proc. Euromicro Conference on Real-Time Systems (ECRTS), Dresden, Germany, July 2006.

Digital Library

[13]

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

[14]

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

[15]

L. Thiele, E. Wandeler, and S. Chakraborty. A stream-oriented component model for performance analysis of multiprocessor dsps. IEEE Signal Processing Magazine, 22(3):38--46, May 2005.

[16]

K. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram., 40(2-3):117--134, 1994.

Digital Library

[17]

E. Wandeler. Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems. PhD thesis, Swiss Federal Institute of Technology, September 2006.

[18]

E. Wandeler and L. Thiele. Real-Time Calculus (RTC) Toolbox. http://www.mpa.ethz.ch/Rtctoolbox, 2006.

[19]

T.-Y. Yen and W. Wolf. Performance estimation for real-time distributed embedded systems. In Proc. International Conference on Computer Design (ICCD), pages 64--71, Washington, DC, USA, 1995.

Digital Library

Cited By

Guidolin-Pina DBoyer M(2024)Scaling, Packetizers and Aggregation in Network Calculus2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA61755.2024.10710819(1-8)Online publication date: 10-Sep-2024
https://doi.org/10.1109/ETFA61755.2024.10710819
Slomka FSadeghi M(2021)Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systemsSICS Software-Intensive Cyber-Physical Systems10.1007/s00450-021-00429-1Online publication date: 29-Nov-2021
https://doi.org/10.1007/s00450-021-00429-1
Zhang YPrakash B(2015)Data-Aware Vaccine Allocation Over Large NetworksACM Transactions on Knowledge Discovery from Data10.1145/280317610:2(1-32)Online publication date: 12-Oct-2015
https://dl.acm.org/doi/10.1145/2803176
Show More Cited By

Index Terms

Combined approach to system level performance analysis of embedded systems
1. Hardware
  1. Electronic design automation
    1. Modeling and parameter extraction

Recommendations

Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications

Modern real-time streaming applications are increasingly implemented on multiprocessor systems-on-chip (MPSoC). The implementation, as well as the verification of real-time applications executing on MPSoCs, are difficult tasks, however. A major ...
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 ...
A Combined Approach for Reachability Analysis
ICSEA '06: Proceedings of the International Conference on Software Engineering Advances

This paper presents the principle of an approach that allows to analyse most important system properties like reachability, executability, deadlock-freeness etc. The approach is based on two concepts: analysis purpose-directed analysis and specification ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

CODES+ISSS '07: Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis

September 2007

284 pages

ISBN:9781595938244

DOI:10.1145/1289816

General Chairs:
Soonhoi Ha
Seoul National University, Korea
,
Kiyoung Choi
Seoul National University, Korea
,
Program Chairs:
Nikil Dutt
UC Irvine, USA
,
Jürgen Teich
University of Erlangen-Nuremberg, Germany

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 280 of 864 submissions, 32%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

33
Total Citations
View Citations
410
Total Downloads

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

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Guidolin-Pina DBoyer M(2024)Scaling, Packetizers and Aggregation in Network Calculus2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA61755.2024.10710819(1-8)Online publication date: 10-Sep-2024
https://doi.org/10.1109/ETFA61755.2024.10710819
Slomka FSadeghi M(2021)Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systemsSICS Software-Intensive Cyber-Physical Systems10.1007/s00450-021-00429-1Online publication date: 29-Nov-2021
https://doi.org/10.1007/s00450-021-00429-1
Zhang YPrakash B(2015)Data-Aware Vaccine Allocation Over Large NetworksACM Transactions on Knowledge Discovery from Data10.1145/280317610:2(1-32)Online publication date: 12-Oct-2015
https://dl.acm.org/doi/10.1145/2803176
Papagelis M(2015)Refining Social Graph Connectivity via Shortcut Edge AdditionACM Transactions on Knowledge Discovery from Data10.1145/275728110:2(1-35)Online publication date: 12-Oct-2015
https://dl.acm.org/doi/10.1145/2757281
Edman RShackleton HShackleton JSmith TVestal S(2015)A Framework for Compositional Timing Analysis of Embedded Computer SystemsProceedings of the 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conf on Embedded Software and Systems10.1109/HPCC-CSS-ICESS.2015.239(1001-1004)Online publication date: 24-Aug-2015
https://dl.acm.org/doi/10.1109/HPCC-CSS-ICESS.2015.239
Zeng HDi Natale M(2015)Computing periodic request functions to speed-up the analysis of non-cyclic task modelsReal-Time Systems10.1007/s11241-014-9209-551:4(360-394)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1007/s11241-014-9209-5
Bund TSlomka FLaemmel RTaha W(2014)Controller/platform co-design of networked control systems based on density functionsProceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems10.1145/2593458.2593467(11-14)Online publication date: 14-Apr-2014
https://dl.acm.org/doi/10.1145/2593458.2593467
Kafai YLee ESearle KFields DKaplan ELui D(2014)A Crafts-Oriented Approach to Computing in High SchoolACM Transactions on Computing Education10.1145/257687414:1(1-20)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1145/2576874
Buchanan SLaviola J(2014)CSTutorACM Transactions on Computing Education10.1145/253590914:1(1-28)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1145/2535909
Mouradian ABlum I(2014)Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up2014 26th Euromicro Conference on Real-Time Systems10.1109/ECRTS.2014.12(41-50)Online publication date: Jul-2014
https://doi.org/10.1109/ECRTS.2014.12
Show More Cited By

View Options

Get Access

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