Skip to main content
SpringerLink
Log in

Simulative and Analytical Evaluation for ASD-Based Embedded Software

  • Conference paper
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance (MMB&DFT 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7201))

  • 842 Accesses

Abstract

The Analytical Software Design (ASD) method of the company Verum has been designed to reduce the number of errors in embedded software. However, it does not take performance issues into account, which can also have a major impact on the duration of software development. This paper presents a discrete-event simulator for the performance evaluation of ASD-structured software as well as a compositional numerical analysis method using fixed-point iteration and phase-type distribution fitting. Whereas the numerical analysis is highly accurate for non-interfering tasks, its accuracy degrades when tasks run in opposite directions through interdependent software blocks and the utilization increases. A thorough validation identifies the underlying problems when analyzing the performance of embedded software.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allegio (2011), http://www.esi.nl/research/applied-research/current-projects/allegio/

  2. Broadfoot, G.H., Broadfoot, P.J.: Academia and industry meet: Some experiences of formal methods in practice. In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), pp. 49–58 (2003)

    Google Scholar 

  3. Chakraborty, S., Künzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE (2003)

    Google Scholar 

  4. Cobham, A.: Priority assignment in waiting line problems. Operations Research 2(1), 70–76 (1954)

    Google Scholar 

  5. Franks, G., Al-Omari, T., Woodside, M., Das, O., Derisavi, S.: Enhanced Modeling and Solution of Layered Queueing Networks. Transactions on Software Engineering 35(2), 148–161 (2009)

    Article  Google Scholar 

  6. Grossglauser, M., Bolot, J.C.: On the relevance of long-range dependence in network traffic. IEEE/ACM Transactions on Networking 7(5), 629–640 (1999)

    Article  Google Scholar 

  7. Haverkort, B.: Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support. In: Beilner, H., Bause, F. (eds.) MMB 1995 and TOOLS 1995. LNCS, vol. 977, pp. 239–253. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  8. Heindl, A.: Decomposition of general queueing networks with MMPP inputs and customer losses. Performance Evaluation 51(2-4), 117–136 (2003)

    Article  Google Scholar 

  9. Hettinga, S.: Performance Analysis for Embedded Software Design. Master’s thesis, University of Twente (2010)

    Google Scholar 

  10. Jouini, O., Dallery, Y.: Moments of first passage times in general birth-death processes. Mathematical Methods of Operations Research 68, 49–76 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  11. Klink, D., Remke, A., Haverkort, B., Katoen, J.P.: Time-bounded reachability in tree-structured QBDs by abstraction. Performance Evaluation 68, 105–125 (2011)

    Article  Google Scholar 

  12. Latouche, G., Ramaswami, V.: A logarithmic reduction algorithm for quasi birth and death processes. Journal of Applied Probability 30, 650–674 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  13. Neuts, M.: Matrix-Geometric Solutions in Stochastic Models — An Algorithmic Approach. Dover Publications, Inc. (1981)

    Google Scholar 

  14. Osogami, T., Harchol-Balter, M.: A Closed-Form Solution for Mapping General Distributions to Minimal PH Distributions. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol. 2794, pp. 200–217. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  15. Rolia, J., Sevcik, K.: The Method of Layers. Transactions on Software Engineering 21(8), 689–700 (1995)

    Article  Google Scholar 

  16. Sadre, R.: Decomposition-Based Analysis of Queueing Networks. Ph.D. thesis, University of Twente (2006)

    Google Scholar 

  17. Sadre, R., Haverkort, B.: FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 324–327. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  18. Sadre, R., Haverkort, B.: Decomposition-Based Queueing Network Analysis with FiFiQueues. In: Queueing Networks: A Fundamental Approach. International Series in Operations Research & Management Science, vol. 154, pp. 643–699. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  19. Verum (2010), http://www.verum.com

  20. Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. International Journal on Software Tools for Technology Transfer 8(6), 649–667 (2006)

    Article  Google Scholar 

  21. Whitt, W.: The Queueing Network Analyzer. The Bell System Technical Journal 62(9), 2779–2815 (1983)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Design and Analysis of Communication Systems, University of Twente, The Netherlands

    Ramin Sadre, Anne Remke & Boudewijn Haverkort

  2. Embedded Systems Institute, Eindhoven, The Netherlands

    Sjors Hettinga

Authors
  1. Ramin Sadre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anne Remke
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sjors Hettinga
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Boudewijn Haverkort
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. disco - Distributed Computer Systems Lab, Computer Science Department, University of Kaiserslautern, Building 36, P.O. Box 3049, 67663, Kaiserslautern, Germany

    Jens B. Schmitt

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sadre, R., Remke, A., Hettinga, S., Haverkort, B. (2012). Simulative and Analytical Evaluation for ASD-Based Embedded Software. In: Schmitt, J.B. (eds) Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance. MMB&DFT 2012. Lecture Notes in Computer Science, vol 7201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28540-0_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28540-0_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28539-4

  • Online ISBN: 978-3-642-28540-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation