Simulative and Analytical Evaluation for ASD-Based Embedded Software

R. Sadre; Anne Katharina Ingrid Remke; Sjors Hettinga; Boudewijn R.H.M. Haverkort; Jens B. Schmitt

doi:10.1007/978-3-642-28540-0_12

Simulative and Analytical Evaluation for ASD-Based Embedded Software

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

Research output: Other contribution

1 Citation (Scopus)

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 language	English
Publisher	Springer Verlag
Number of pages	16
Place of Publication	London
ISBN (Print)	978-3-642-28539-4
DOIs	https://doi.org/10.1007/978-3-642-28540-0_12
Publication status	Published - Mar 2012
Externally published	Yes

Keywords

METIS-286311
EWI-21737
IR-80116

Access to Document

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

Cite this

@misc{3e1d18a76d82431e9170ab4bd98828c0,

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.} and Schmitt, {Jens B.}",

year = "2012",

month = mar,

doi = "10.1007/978-3-642-28540-0_12",

language = "English",

isbn = "978-3-642-28539-4",

publisher = "Springer Verlag",

address = "Germany",

type = "Other",

}

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.

AU - Schmitt, Jens B.

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 - Other contribution

SN - 978-3-642-28539-4

PB - Springer Verlag

CY - London

ER -

Simulative and Analytical Evaluation for ASD-Based Embedded Software

Abstract

Keywords

Access to Document

Fingerprint

Cite this