PHASE: A Stochastic Formalism for Phase-Type Distributions

  • Gabriel Ciobanu
  • Armand Stefan Rotaru
Conference paper

DOI: 10.1007/978-3-319-11737-9_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8829)
Cite this paper as:
Ciobanu G., Rotaru A.S. (2014) PHASE: A Stochastic Formalism for Phase-Type Distributions. In: Merz S., Pang J. (eds) Formal Methods and Software Engineering. ICFEM 2014. Lecture Notes in Computer Science, vol 8829. Springer, Cham

Abstract

Models of non-Markovian systems expressed using stochastic formalisms often employ phase-type distributions in order to approximate the duration of transitions. We introduce a stochastic process calculus named PHASE which operates with phase-type distributions, and provide a step-by-step description of how PHASE processes can be translated into models supported by the probabilistic model checker PRISM. We then illustrate our approach by analysing the behaviour of a simple system involving both non-Markovian and Markovian transitions.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Gabriel Ciobanu
    • 1
  • Armand Stefan Rotaru
    • 1
  1. 1.Institute of Computer ScienceRomanian AcademyIaşiRomania

Personalised recommendations