### Abstract

Original language | English |
---|---|

Title of host publication | Proceedings of the 12th European Workshop on Computer Performance Engineering (EPEW 2015) |

Editors | Marta Beltran, William Knottenbelt, Jeremy Bradley |

Place of Publication | Cham |

Publisher | Springer |

Pages | 208-224 |

Number of pages | 17 |

ISBN (Print) | 978-3-319-23266-9 |

DOIs | |

Publication status | Published - 31 Aug 2015 |

### Publication series

Name | Lecture notes in computer science |
---|---|

Publisher | Springer Verlag |

Volume | 9272 |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Fingerprint

### Keywords

- EWI-26291
- IR-98151
- METIS-314965

### Cite this

*Proceedings of the 12th European Workshop on Computer Performance Engineering (EPEW 2015)*(pp. 208-224). (Lecture notes in computer science; Vol. 9272). Cham: Springer. https://doi.org/10.1007/978-3-319-23267-6_14

}

*Proceedings of the 12th European Workshop on Computer Performance Engineering (EPEW 2015).*Lecture notes in computer science, vol. 9272, Springer, Cham, pp. 208-224. https://doi.org/10.1007/978-3-319-23267-6_14

**Computing Response Time Distributions Using Iterative Probabilistic Model Checking.** / van den Berg, Freek; Hooman, Jozef; Hartmanns, Arnd; Haverkort, Boudewijn R.H.M.; Remke, Anne Katharina Ingrid.

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

TY - GEN

T1 - Computing Response Time Distributions Using Iterative Probabilistic Model Checking

AU - van den Berg, Freek

AU - Hooman, Jozef

AU - Hartmanns, Arnd

AU - Haverkort, Boudewijn R.H.M.

AU - Remke, Anne Katharina Ingrid

N1 - eemcs-eprint-26291

PY - 2015/8/31

Y1 - 2015/8/31

N2 - System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer. Under the hood, probabilistic real-time model checking technology is used iteratively to obtain precise bounds and probabilities. This allows reasoning about nondeterministic, probabilistic and real-time aspects in a single evaluation. To reduce the state spaces for analysis, we use two sampling methods (for measurements) that simplify the system model: (i) applying an abstraction on time by increasing the length of a (discrete) model time unit, and (ii) computing only absolute bounds by replacing probabilistic choices with non-deterministic ones. We use an industrial case on image processing of an interventional X-ray system to illustrate our approach.

AB - System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer. Under the hood, probabilistic real-time model checking technology is used iteratively to obtain precise bounds and probabilities. This allows reasoning about nondeterministic, probabilistic and real-time aspects in a single evaluation. To reduce the state spaces for analysis, we use two sampling methods (for measurements) that simplify the system model: (i) applying an abstraction on time by increasing the length of a (discrete) model time unit, and (ii) computing only absolute bounds by replacing probabilistic choices with non-deterministic ones. We use an industrial case on image processing of an interventional X-ray system to illustrate our approach.

KW - EWI-26291

KW - IR-98151

KW - METIS-314965

U2 - 10.1007/978-3-319-23267-6_14

DO - 10.1007/978-3-319-23267-6_14

M3 - Conference contribution

SN - 978-3-319-23266-9

T3 - Lecture notes in computer science

SP - 208

EP - 224

BT - Proceedings of the 12th European Workshop on Computer Performance Engineering (EPEW 2015)

A2 - Beltran, Marta

A2 - Knottenbelt, William

A2 - Bradley, Jeremy

PB - Springer

CY - Cham

ER -