Simulative and Analytical Evaluation for ASD-Based Embedded Software

R. Sadre, Anne Katharina Ingrid Remke, Sjors Hettinga, Boudewijn R.H.M. Haverkort

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
62 Downloads (Pure)

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.
Original languageEnglish
Title of host publication16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
EditorsJens B. Schmitt
Place of PublicationLondon
PublisherSpringer
Pages166-181
Number of pages16
ISBN (Print)978-3-642-28539-4
DOIs
Publication statusPublished - Mar 2012
Event16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012 - Kaiserslautern, Germany
Duration: 19 Mar 201221 Mar 2012
Conference number: 16

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume7201
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012
Abbreviated titleMMB & DFT
CountryGermany
CityKaiserslautern
Period19/03/1221/03/12

Fingerprint

Embedded software
Software design
Numerical analysis
Software engineering
Simulators
Industry

Keywords

  • METIS-286311
  • EWI-21737
  • IR-80116

Cite this

Sadre, R., Remke, A. K. I., Hettinga, S., & Haverkort, B. R. H. M. (2012). Simulative and Analytical Evaluation for ASD-Based Embedded Software. In J. B. Schmitt (Ed.), 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings (pp. 166-181). (Lecture Notes in Computer Science; Vol. 7201). London: Springer. https://doi.org/10.1007/978-3-642-28540-0_12
Sadre, R. ; Remke, Anne Katharina Ingrid ; Hettinga, Sjors ; Haverkort, Boudewijn R.H.M. / Simulative and Analytical Evaluation for ASD-Based Embedded Software. 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. editor / Jens B. Schmitt. London : Springer, 2012. pp. 166-181 (Lecture Notes in Computer Science).
@inproceedings{081d120d79a14ac9bd9e2e09a85ca996,
title = "Simulative and Analytical Evaluation for ASD-Based Embedded Software",
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.",
keywords = "METIS-286311, EWI-21737, IR-80116",
author = "R. Sadre and Remke, {Anne Katharina Ingrid} and Sjors Hettinga and Haverkort, {Boudewijn R.H.M.}",
year = "2012",
month = "3",
doi = "10.1007/978-3-642-28540-0_12",
language = "English",
isbn = "978-3-642-28539-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "166--181",
editor = "Schmitt, {Jens B.}",
booktitle = "16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings",

}

Sadre, R, Remke, AKI, Hettinga, S & Haverkort, BRHM 2012, Simulative and Analytical Evaluation for ASD-Based Embedded Software. in JB Schmitt (ed.), 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Lecture Notes in Computer Science, vol. 7201, Springer, London, pp. 166-181, 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, 19/03/12. https://doi.org/10.1007/978-3-642-28540-0_12

Simulative and Analytical Evaluation for ASD-Based Embedded Software. / Sadre, R.; Remke, Anne Katharina Ingrid; Hettinga, Sjors; Haverkort, Boudewijn R.H.M.

16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. ed. / Jens B. Schmitt. London : Springer, 2012. p. 166-181 (Lecture Notes in Computer Science; Vol. 7201).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Simulative and Analytical Evaluation for ASD-Based Embedded Software

AU - Sadre, R.

AU - Remke, Anne Katharina Ingrid

AU - Hettinga, Sjors

AU - Haverkort, Boudewijn R.H.M.

PY - 2012/3

Y1 - 2012/3

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

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

KW - METIS-286311

KW - EWI-21737

KW - IR-80116

U2 - 10.1007/978-3-642-28540-0_12

DO - 10.1007/978-3-642-28540-0_12

M3 - Conference contribution

SN - 978-3-642-28539-4

T3 - Lecture Notes in Computer Science

SP - 166

EP - 181

BT - 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

A2 - Schmitt, Jens B.

PB - Springer

CY - London

ER -

Sadre R, Remke AKI, Hettinga S, Haverkort BRHM. Simulative and Analytical Evaluation for ASD-Based Embedded Software. In Schmitt JB, editor, 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. London: Springer. 2012. p. 166-181. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-28540-0_12