Simulative and analytical evaluation for ASD-Based embedded software

Authors:
Ramin Sadre;Anne Remke;Sjors Hettinga;Boudewijn Haverkort
Affiliations:
Design and Analysis of Communication Systems, University of Twente, The Netherlands;Design and Analysis of Communication Systems, University of Twente, The Netherlands;Embedded Systems Institute, Eindhoven, The Netherlands;Design and Analysis of Communication Systems, University of Twente, The Netherlands and Design and Analysis of Communication Systems, University of Twente, The Netherlands
Venue:
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Year:
2012

Citing 10
Cited 0

On the relevance of long-range dependence in network traffic

IEEE/ACM Transactions on Networking (TON)
The Method of Layers

IEEE Transactions on Software Engineering
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support

MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
Decomposition of general queueing networks with MMPP inputs and customer losses

Performance Evaluation
Academia and industry meet: Some experiences of formal methods in practice

APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
System architecture evaluation using modular performance analysis: a case study

International Journal on Software Tools for Technology Transfer (STTT)
Enhanced Modeling and Solution of Layered Queueing Networks

IEEE Transactions on Software Engineering
Time-bounded reachability in tree-structured QBDs by abstraction

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

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.