eprintid: 2575
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/75
datestamp: 2015-02-09 09:41:12
lastmod: 2015-02-09 09:41:12
status_changed: 2015-02-09 09:41:12
type: book_section
metadata_visibility: show
creators_name: Bortolussi, Luca
creators_name: Galpin, Vashti
creators_name: Hillston, Jane
creators_name: Tribastone, Mirco
creators_id: 
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Hybrid semantics for PEPA
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: In order to circumvent the problem of state-space explosion of large-scale Markovian models, the stochastic process algebra PEPA has been given a fluid semantics based on ordinary differential equations, treating all entities as continuous. However, low numbers of instances and/or relatively slow dynamics may make such approximation too coarse for some parts of the system. To deal with such situations, we propose an hybrid semantics lying between these two extremes, treating parts of the system as discrete and stochastic and others as continuous and deterministic. The underlying mathematical object for the quantitative evaluation is a stochastic hybrid automaton. A case study of a client/server system with breakdowns and repairs is used to discuss the accuracy and the cost of this hybrid analysis.
date: 2010-09
date_type: published
publisher: IEEE
pagerange: 181-190
event_title: Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the
id_number: 10.1109/QEST.2010.31
refereed: TRUE
isbn: 978-1-4244-8082-1
book_title: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST)
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5600389&isnumber=5600366
citation:   Bortolussi, Luca and Galpin, Vashti and Hillston, Jane and Tribastone, Mirco  Hybrid semantics for PEPA.   In:  Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST).   IEEE, pp. 181-190.  ISBN 978-1-4244-8082-1      (2010)