Simulative and Analytical Evaluation for ASD-Based Embedded Software

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.

[1]  Falko Bause,et al.  Quantitative Evaluation of Computing and Communication Systems , 1995, Lecture Notes in Computer Science.

[2]  Lothar Thiele,et al.  A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[3]  Boudewijn R. Haverkort,et al.  Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support , 1995, MMB.

[4]  Richard J. Boucherie,et al.  Queueing networks : a fundamental approach , 2011 .

[5]  S. Hettinga,et al.  Performance analysis for embedded software design , 2010 .

[6]  Ramin Sadre,et al.  FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations , 2000, Computer Performance Evaluation / TOOLS.

[7]  Mor Harchol-Balter,et al.  Closed form solutions for mapping general distributions to quasi-minimal PH distributions , 2006, Perform. Evaluation.

[8]  Yves Dallery,et al.  Moments of first passage times in general birth–death processes , 2008, Math. Methods Oper. Res..

[9]  Alan Cobham,et al.  Priority Assignment in Waiting Line Problems , 1954, Oper. Res..

[10]  Ramin Sadre,et al.  Decomposition-Based Analysis of Queueing Networks , 2007 .

[11]  Ramon Puigjaner,et al.  Computer Performance Evaluation , 2000, Lecture Notes in Computer Science.

[12]  Philippa J. Hopcroft,et al.  Academia and industry meet: some experiences of formal methods in practice , 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

[13]  Armin Heindl,et al.  Decomposition of general queueing networks with MMPP inputs and customer losses , 2003, Perform. Evaluation.

[14]  Mor Harchol-Balter,et al.  A Closed-Form Solution for Mapping General Distributions to Minimal PH Distributions , 2003, Computer Performance Evaluation / TOOLS.

[15]  C. Murray Woodside,et al.  Enhanced Modeling and Solution of Layered Queueing Networks , 2009, IEEE Transactions on Software Engineering.

[16]  Matthias Grossglauser,et al.  On the relevance of long-range dependence in network traffic , 1996, SIGCOMM '96.

[17]  Vaidyanathan Ramaswami,et al.  A logarithmic reduction algorithm for quasi-birth-death processes , 1993, Journal of Applied Probability.

[18]  Marcel Verhoef,et al.  System architecture evaluation using modular performance analysis: a case study , 2006, International Journal on Software Tools for Technology Transfer.

[19]  Marcel F. Neuts,et al.  Matrix-geometric solutions in stochastic models - an algorithmic approach , 1982 .

[20]  Joost-Pieter Katoen,et al.  Time-Bounded Reachability in Tree-Structured QBDs by Abstraction , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

[21]  Jerome A. Rolia,et al.  The Method of Layers , 1995, IEEE Trans. Software Eng..

[22]  Boudewijn R.H.M. Haverkort.  Approximate Analysis of Networks of PH$....Queues: Theory & Tool Support , 1995 .

[23]  W. Whitt,et al.  The Queueing Network Analyzer , 1983, The Bell System Technical Journal.

[24]  Ramin Sadre,et al.  Decomposition-Based Queueing Network Analysis with FiFiQueues , 2011 .