Document - 30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC

2020

Conference article Open Access

30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC

Basile D, Ter Beek Mh, Di Giandomenico F, Fantechi A, Gnesi S, Spagnolo Go

Stochastic model-based analysis Möbius Statistical Model Checking Möbius Railways Stochastic Hybrid Automata Uppaal SMC Cyber-Physical Systems Stochastic Activity Networks Tool comparison Quantitative analysis

We provide a brief comparison of the modelling and analysis capabilities of two different formalisms and their associated simulation-based tools, acquired from experimenting with these methods and tools on one specific case study. The case study is a cyber-physical system from an industrial railway project, namely a railroad switch heater, and the quantitative properties concern energy consumption and reliability. We modelled and analysed the case study with stochastic activity networks and Möbius on the one hand and with stochastic hybrid automata and Uppaal SMC on the other hand. We give an overview of the performed experiments and highlight specific features of the two methodologies. This yields some pointers for future research and improvements.

Publisher: Springer

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:434871,
	title = {30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC},
	author = {Basile D and Ter Beek Mh and Di Giandomenico F and Fantechi A and Gnesi S and Spagnolo Go},
	publisher = {Springer},
	doi = {10.1007/978-3-030-61362-4_21},
	year = {2020}
}