skip to main content
10.1145/1289816.1289862acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
Article

Probabilistic performance risk analysis at system-level

Published: 30 September 2007 Publication History

Abstract

We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimistic best-case and worst-case quantities of system properties. Our proposed analysis methodology determines qualitative numbers between best-case and worst-case of system properties and quantifies them with probabilities. For this issue, we combine local coarse-grained profiling and formal system-level analysis models in a hybrid approach for an early quantitative determination of qualitative system properties. Our approach considers the control-flow of communicating processes and the impact of blocking communication instances on the temporal behavior of the entire system during formal analysis. This can be used for determining the global system performance. The application of our new methodology leads to an inclusion of probabilities concerning system properties and allows an early performance risk estimation of a design with regard to predefined system requirements and constraints.

References

[1]
K. Albers, F. Bodmann, and F. Slomka. Hierarchical event streams and event dependency graphs: A new computational model for embedded real-time systems. In ECRTS '06: Proceedings of the 18th Euromicro Conference on Real-Time Systems, pages 97--106, Washington, DC, USA, 2006. IEEE Computer Society.
[2]
K. Albers and F. Slomka. Ef.cient feasibility analysis for real-time systems with edf scheduling. In DATE '05: Proceedings of the conference on Design, Automation and Test in Europe, pages 492--497, Washington, DC, USA, 2005. IEEE Computer Society.
[3]
R. Alur. Timed Automata. In Proceedings of Computer-Aided Verification, 1999.
[4]
T. Austin, E. Larson, and D. Ernst. Simplescalar: An infrastructure for computer system modeling. IEEE Computer, 35(2):59--67, 2002.
[5]
G. Bernat, A. Colin, and S. M. Petters. Wcet analysis of probabilistic hard real-time systems. In RTSS '02: Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), page 279, Washington, DC, USA, 2002. IEEE Computer Society.
[6]
S. Bradley, W. Henderson, and D. Kendall. Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems. In Proceedings of Workshop on Real-Time Programming WRTP, 1999.
[7]
J. Bryans, H. Bowman, and J. Derrick. Model checking stochastic automata. ACM Trans. Comput. Logic, 4(4):452--492, 2003.
[8]
S. Chakraborty, S. Künzli, and L. Thiele. A General Framework for Analysing System Properties in Platform-Based Embedded System Designs. In Proceedings of DATE, Munich, 2003.
[9]
N. Dhanwada, R. A. Bergamaschi, W. E. Dungan, I. Nair, P. Gramann, W. E. Dougherty, and I.-C. Lin. Transaction-level modeling for architectural and power analysis of PowerPC and CoreConnect-based systems. Springer: Design Automation for Embedded Systems, 2006.
[10]
S. V. Gheorghita, S. Stuijk, T. Basten, and H. Corporaal. Automatic scenario detection for improved wcet estimation. In DAC '05: Proceedings of the 42nd annual conference on Design automation, pages 101--104, New York, NY, USA, 2005. ACM Press.
[11]
M. Krause, O. Bringmann, and W. Rosenstiel. Target Software Generation: An Approach for Automatic Mapping of SystemC Speci.cations onto Real-Time Operating Systems. Springer: Design Automation for Embedded Systems, 2007.
[12]
S. Manolache, P. Eles, and Z. Peng. Schedulability analysis of applications with stochastic task execution times. Trans. on Embedded Computing Sys., 3(4):706--735, 2004.
[13]
R. Marculescu and A. Nandi. Probabilistic application modeling for system-level performance analysis. In DATE '01: Proceedings of the conference on Design, automation and test in Europe, pages 572--579, Piscataway, NJ, USA, 2001. IEEE Press.
[14]
M. A. Marsan, G. Conte, and G. Balbo. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst., 2(2):93--122, 1984.
[15]
W. Müller, W. Rosenstiel, and J. Ruf, editors. SystemC: methodologies and applications. Kluwer Academic Publishers, Norwell, MA, USA, 2003.
[16]
P. Pop, P. Eles, Z. Peng, and T. Pop. Analysis and optimization of distributed real-time embedded systems. In DAC '04: Proceedings of the 41st annual conference on Design automation, pages 593--625, New York, NY, USA, 2004. ACM Press.
[17]
S. Schliecker, M. Ivers, and R. Ernst. Integrated Analysis of Communicating Tasks in MPSoCs. In CODES+ISSS '06. ACM Press, 2006.
[18]
A. Siebenborn, O. Bringmann, and W. Rosenstiel. Worst-case performance analysis of parallel, communicating software processes. In Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002.
[19]
A. Siebenborn, A. Viehl, O. Bringmann, and W. Rosenstiel. Control-Flow Aware Communication and Con.ict Analysis of Parallel Processes. In Proceedings of the 12th Asia and South Paci.c Design Automation Conference ASP-DAC 2007, Yokohama, Japan, 2007.
[20]
W. Stark and S. A. Smolka. Compositional Analysis of Expected Delays in Network of Probalistic I/O Automata. In IEEE Symposium on Logic in Computer Science, 1998.
[21]
E. Wandeler, A. Maxiaguine, and L. Thiele. Quantitative characterization of event streams in analysis of hard real-time applications. In Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004. 10th IEEE, pages 450--459, 2004.
[22]
T. Wild, A. Herkersdorf, and G.-Y. Lee. TAPES-Trace-based architecture performance evaluation with SystemC. Springer: Design Automation for Embedded Systems, 2006.
[23]
Y. Xie and W. Wolf. Allocation and Scheduling of Conditional Task Graph in Co-Synthesis. In Proceedings of DATE, Munich, 2001.
[24]
A. Yakovlev, L. Gomes, and L. Lavagno. Hardware Design and Petri Nets. Kluwer, 2000.
[25]
T.-Y. Yen and W. Wolf. Performance Estimation for Real-Time Distributed Embedded Systems. In IEEE Transactions on Parallel and Distributed Systems, volume 9, November 1998.

Cited By

View all
  • (2012)Model-driven virtual prototyping for real-time simulation of distributed embedded systems7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)10.1109/SIES.2012.6356586(201-210)Online publication date: Jun-2012
  • (2009)White box performance analysis considering static non-preemptive software schedulingProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874746(513-518)Online publication date: 20-Apr-2009
  • (2009)White box performance analysis considering static non-preemptive software scheduling2009 Design, Automation & Test in Europe Conference & Exhibition10.1109/DATE.2009.5090718(513-518)Online publication date: Apr-2009
  • Show More Cited By

Index Terms

  1. Probabilistic performance risk analysis at system-level

      Recommendations

      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
      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.

      Check for updates

      Author Tags

      1. performance analysis
      2. probabilistic risk quantification

      Qualifiers

      • Article

      Conference

      ESWEEK07
      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

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

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

      Other Metrics

      Citations

      Cited By

      View all
      • (2012)Model-driven virtual prototyping for real-time simulation of distributed embedded systems7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)10.1109/SIES.2012.6356586(201-210)Online publication date: Jun-2012
      • (2009)White box performance analysis considering static non-preemptive software schedulingProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874746(513-518)Online publication date: 20-Apr-2009
      • (2009)White box performance analysis considering static non-preemptive software scheduling2009 Design, Automation & Test in Europe Conference & Exhibition10.1109/DATE.2009.5090718(513-518)Online publication date: Apr-2009
      • (2009)Analysis of Non-functional Properties of MPSoC DesignsLanguages for Embedded Systems and their Applications10.1007/978-1-4020-9714-0_20(309-324)Online publication date: 2009
      • (2008)High-performance timing simulation of embedded softwareProceedings of the 45th annual Design Automation Conference10.1145/1391469.1391543(290-295)Online publication date: 8-Jun-2008

      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