PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Basile D., Chiaradonna S., Di Giandomenico F., Gnesi S., Mazzanti F. Stochastic model-based analysis of energy consumption in a rail road switch heating system. In: SERENE 2015 - Software Engineering for Resilient Systems. 7th International Workshop (Paris, France, 7-8 September 2015). Proceedings, pp. 82 - 98. Alessandro Fantechi, Patrizio Pelliccione (eds.). (Lecture Notes in Computer Science, vol. 9274). Springer, 2015.
 
 
Abstract
(English)
Rail road switches enable trains to be guided from one track to another, and rail road switches heaters are used to avoid the formation of snow and ice during the cold season in order to guarantee their correct functioning. Managing the energy consumption of these devices is important in order to reduce the costs and minimise the environmental impact. While doing so, it is important to guarantee the reliability of the system. In this work we analyse reliability and energy consumption indicators for a system of (remotely controlled) rail road switch heaters by developing and solving stochastic models based on the Stochastic Activity Networks (SAN) formalism. An on-off policy is considered for heating the switches, with parametric thresholds representing the temperatures activating/deactivating the heating. Initial investigations are carried on to understand the impact of different thresholds on the indicators under analysis (probability of failure and energy consumption)
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-23129-7_7
DOI: 10.1007/978-3-319-23129-7_7
Subject Energy consumption
Reliability
Stochastic analysis
Formal methods
C.4 PERFORMANCE OF SYSTEMS
I.6 SIMULATION AND MODELING
C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
68


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional