Simulative and Analytical Evaluation for ASD-Based Embedded Software

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

179 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 language	English
Title of host publication	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
Editors	Jens B. Schmitt
Place of Publication	London
Publisher	Springer
Pages	166-181
Number of pages	16
ISBN (Print)	978-3-642-28539-4
DOIs	https://doi.org/10.1007/978-3-642-28540-0_12
Publication status	Published - Mar 2012
Event	16th 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 2012 → 21 Mar 2012 Conference number: 16

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	7201
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012
Abbreviated title	MMB & DFT
Country/Territory	Germany
City	Kaiserslautern
Period	19/03/12 → 21/03/12

Keywords

METIS-286311
EWI-21737
IR-80116

Access to Document

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

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). Springer. https://doi.org/10.1007/978-3-642-28540-0_12

Sadre, R. ; Remke, Anne Katharina Ingrid ; Hettinga, Sjors et al. / 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 = mar,

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",

note = "16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, MMB & DFT ; Conference date: 19-03-2012 Through 21-03-2012",

}

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 et al.

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 proceeding › Conference contribution › Academic › peer-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.

N1 - Conference code: 16

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

T2 - 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012

Y2 - 19 March 2012 through 21 March 2012

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). doi: 10.1007/978-3-642-28540-0_12

Simulative and Analytical Evaluation for ASD-Based Embedded Software

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this