eprintid: 2962
rev_number: 5
eprint_status: archive
userid: 69
dir: disk0/00/00/29/62
datestamp: 2015-12-03 13:38:45
lastmod: 2015-12-03 13:38:45
status_changed: 2015-12-03 13:38:45
type: conference_item
metadata_visibility: show
creators_name: Bortolussi, Luca
creators_name: Tribastone, Mirco
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Differential Analysis of Interacting Automata with Immediate Actions
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
pres_type: paper
keywords: differential equations, immediate actions, time-scale separation
abstract: The stochastic modelling of software systems with activities of durations that are separated by many orders of magnitude typically leads to numerical complications, due to stiffness. To avoid explicit state-space generation-a prerequisite to tackle this problem via suitable manipulations or aggregations-in this paper we present an accurate and scalable fluid approximation. It is expressed as a compact piecewise linear system of ordinary differential equations, which have discontinuous right-hand sides as a result of the incorporation of immediateness. We study the nature of this approximation in a general high-level framework of interacting automata. On a case study of client/server interaction, our approach is ca two times faster than the analysis conducted on the stiff equations where immediate actions are explicitly modelled.
date: 2013
date_type: published
series: ValueTools '13
publisher: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)
place_of_pub: ICST, Brussels, Belgium, Belgium
pagerange: 49-58
event_title: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools
event_location: Torino
event_dates: 10-12 Decembre, 2013
event_type: conference
id_number: 10.4108/icst.valuetools.2013.254364
refereed: TRUE
isbn: 978-1-936968-48-0
book_title: ValueTools '13. Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools
official_url: http://dx.doi.org/10.4108/icst.valuetools.2013.254364
citation:   Bortolussi, Luca and Tribastone, Mirco  Differential Analysis of Interacting Automata with Immediate Actions.  In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 10-12 Decembre, 2013, Torino pp. 49-58.  ISBN 978-1-936968-48-0.      (2013)