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.
KeywordsService Time Arrival Rate Wait Time Distribution Embed Software Queueing Network
Unable to display preview. Download preview PDF.
- 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
- 9.Hettinga, S.: Performance Analysis for Embedded Software Design. Master’s thesis, University of Twente (2010)Google Scholar
- 13.Neuts, M.: Matrix-Geometric Solutions in Stochastic Models — An Algorithmic Approach. Dover Publications, Inc. (1981)Google Scholar
- 16.Sadre, R.: Decomposition-Based Analysis of Queueing Networks. Ph.D. thesis, University of Twente (2006)Google Scholar
- 19.Verum (2010), http://www.verum.com