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)
    67 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