Document - On quantitative assessment of reliability and energy consumption indicators in railway systems

2019

Contribution to book Closed Access

On quantitative assessment of reliability and energy consumption indicators in railway systems

Basile D., Di Giandomenico F., Gnesi S.

Energy-saving Stochastic analysis Quality models Reliability

Stochastic model-based approaches are widely used for obtaining quantitative non-functional indicators of the analysed systems, as for example reliability, performance and energy consumption. However, a critical issue with models is their validation, in order to justifiably put reliance on the analysis results they provide. In this paper, we address cross-validation on a case study from the railway domain, by modelling and evaluating it with different formalisms and tools.Stochastic Activity Networks models and Stochastic Hybrid Automata models of rail road switch heaters, developed for the purpose of evaluating energy consumption and reliability indicators, will be evaluated with Mobius and Uppaal SMC. We will compare the obtained results, to improve their trustworthiness and to provide insights on the design and analysis of energy-saving cyber-physical systems.

Source: Green IT Engineering: Social, Business and Industrial Applications, edited by Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk, pp. 423–447, 2019

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:402366,
	title = {On quantitative assessment of reliability and energy consumption indicators in railway systems},
	author = {Basile D. and Di Giandomenico F. and Gnesi S.},
	doi = {10.1007/978-3-030-00253-4_18},
	booktitle = {Green IT Engineering: Social, Business and Industrial Applications, edited by Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk, pp. 423–447, 2019},
	year = {2019}
}