Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

Freek van den Berg, Boudewijn R.H.M. Haverkort, Jozef Hooman

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

    4 Citations (Scopus)
    41 Downloads (Pure)

    Abstract

    Service-oriented systems are designed for interconnecting with other systems. The provided services face timing con- straints, the so-called latencies. We present a high-level per- formance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This tech- nique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. Under the hood, the tech- nique is equipped with two mechanisms: (i) selection of the right abstraction of the model (to prevent a state space ex- plosion) by evaluating the performance of executing models of different complexities; and (ii) an efficient algorithm in which basic estimates, simulation, and (probabilistic) model checking are combined. We illustrate our approach with an case on image processing of interventional X-ray systems.
    Original languageUndefined
    Title of host publicationProceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015
    EditorsWilliam Knottenbelt, Katinka Wolter, Ana Busic, Marco Gribaudo, Philipp Reinecke
    Place of PublicationBrussels, Belgium
    PublisherInstitute for Computer Sciences, Social-Informatics and Telecommunications Engineering
    Pages158-163
    Number of pages6
    ISBN (Print)978-1-63190-096-9
    DOIs
    Publication statusPublished - Dec 2015
    Event9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015 - Berlin, Germany
    Duration: 14 Dec 201516 Dec 2015
    Conference number: 9
    http://archive.valuetools.org/2015/show/home

    Publication series

    Name
    PublisherInstitute for Computer Sciences, Social-Informatics and Telecommunications Engineering

    Conference

    Conference9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015
    Abbreviated titleVALUETOOLS 2015
    CountryGermany
    CityBerlin
    Period14/12/1516/12/15
    Internet address

    Keywords

    • EWI-26584
    • METIS-316824
    • IR-100292

    Cite this

    van den Berg, F., Haverkort, B. R. H. M., & Hooman, J. (2015). Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. In W. Knottenbelt, K. Wolter, A. Busic, M. Gribaudo, & P. Reinecke (Eds.), Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015 (pp. 158-163). Brussels, Belgium: Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. https://doi.org/10.4108/eai.14-12-2015.2262725
    van den Berg, Freek ; Haverkort, Boudewijn R.H.M. ; Hooman, Jozef. / Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. editor / William Knottenbelt ; Katinka Wolter ; Ana Busic ; Marco Gribaudo ; Philipp Reinecke. Brussels, Belgium : Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2015. pp. 158-163
    @inproceedings{ea063a419b894cc7838d21857b981e5b,
    title = "Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques",
    abstract = "Service-oriented systems are designed for interconnecting with other systems. The provided services face timing con- straints, the so-called latencies. We present a high-level per- formance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This tech- nique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. Under the hood, the tech- nique is equipped with two mechanisms: (i) selection of the right abstraction of the model (to prevent a state space ex- plosion) by evaluating the performance of executing models of different complexities; and (ii) an efficient algorithm in which basic estimates, simulation, and (probabilistic) model checking are combined. We illustrate our approach with an case on image processing of interventional X-ray systems.",
    keywords = "EWI-26584, METIS-316824, IR-100292",
    author = "{van den Berg}, Freek and Haverkort, {Boudewijn R.H.M.} and Jozef Hooman",
    note = "10.4108/eai.14-12-2015.2262725",
    year = "2015",
    month = "12",
    doi = "10.4108/eai.14-12-2015.2262725",
    language = "Undefined",
    isbn = "978-1-63190-096-9",
    publisher = "Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering",
    pages = "158--163",
    editor = "William Knottenbelt and Katinka Wolter and Ana Busic and Marco Gribaudo and Philipp Reinecke",
    booktitle = "Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015",

    }

    van den Berg, F, Haverkort, BRHM & Hooman, J 2015, Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. in W Knottenbelt, K Wolter, A Busic, M Gribaudo & P Reinecke (eds), Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, Brussels, Belgium, pp. 158-163, 9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015, Berlin, Germany, 14/12/15. https://doi.org/10.4108/eai.14-12-2015.2262725

    Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. / van den Berg, Freek; Haverkort, Boudewijn R.H.M.; Hooman, Jozef.

    Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. ed. / William Knottenbelt; Katinka Wolter; Ana Busic; Marco Gribaudo; Philipp Reinecke. Brussels, Belgium : Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2015. p. 158-163.

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

    TY - GEN

    T1 - Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

    AU - van den Berg, Freek

    AU - Haverkort, Boudewijn R.H.M.

    AU - Hooman, Jozef

    N1 - 10.4108/eai.14-12-2015.2262725

    PY - 2015/12

    Y1 - 2015/12

    N2 - Service-oriented systems are designed for interconnecting with other systems. The provided services face timing con- straints, the so-called latencies. We present a high-level per- formance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This tech- nique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. Under the hood, the tech- nique is equipped with two mechanisms: (i) selection of the right abstraction of the model (to prevent a state space ex- plosion) by evaluating the performance of executing models of different complexities; and (ii) an efficient algorithm in which basic estimates, simulation, and (probabilistic) model checking are combined. We illustrate our approach with an case on image processing of interventional X-ray systems.

    AB - Service-oriented systems are designed for interconnecting with other systems. The provided services face timing con- straints, the so-called latencies. We present a high-level per- formance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This tech- nique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. Under the hood, the tech- nique is equipped with two mechanisms: (i) selection of the right abstraction of the model (to prevent a state space ex- plosion) by evaluating the performance of executing models of different complexities; and (ii) an efficient algorithm in which basic estimates, simulation, and (probabilistic) model checking are combined. We illustrate our approach with an case on image processing of interventional X-ray systems.

    KW - EWI-26584

    KW - METIS-316824

    KW - IR-100292

    U2 - 10.4108/eai.14-12-2015.2262725

    DO - 10.4108/eai.14-12-2015.2262725

    M3 - Conference contribution

    SN - 978-1-63190-096-9

    SP - 158

    EP - 163

    BT - Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015

    A2 - Knottenbelt, William

    A2 - Wolter, Katinka

    A2 - Busic, Ana

    A2 - Gribaudo, Marco

    A2 - Reinecke, Philipp

    PB - Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering

    CY - Brussels, Belgium

    ER -

    van den Berg F, Haverkort BRHM, Hooman J. Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques. In Knottenbelt W, Wolter K, Busic A, Gribaudo M, Reinecke P, editors, Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. Brussels, Belgium: Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 2015. p. 158-163 https://doi.org/10.4108/eai.14-12-2015.2262725