Logo eprints

Differential Analysis of Interacting Automata with Immediate Actions

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)

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (Paper)
Identification Number: 10.4108/icst.valuetools.2013.254364
Uncontrolled Keywords: differential equations, immediate actions, time-scale separation
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 03 Dec 2015 13:38
Last Modified: 03 Dec 2015 13:38
URI: http://eprints.imtlucca.it/id/eprint/2962

Actions (login required)

Edit Item Edit Item