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.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.
| 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 |
