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.
On quantitative assessment of reliability and energy consumption indicators in railway systems
Basile D;Di Giandomenico F;Gnesi S
2019
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
prod_402366-doc_139916.pdf
accesso aperto
Descrizione: On quantitative assessment of reliability and energy consumption indicators in railway systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
932.06 kB
Formato
Adobe PDF
|
932.06 kB | Adobe PDF | Visualizza/Apri |
prod_402366-doc_164295.pdf
non disponibili
Descrizione: On quantitative assessment of reliability and energy consumption indicators in railway systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
648.61 kB
Formato
Adobe PDF
|
648.61 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.