A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems

https://doi.org/10.1016/j.jrtpm.2016.03.003Get rights and content

Highlights

  • We analyse reliability and energy consumption indicators for a system of railroad switch heaters through a stochastic model.

  • A FIFO prioritized approach with real world data is considered, and several measures of interest are analysed.

  • We show how by considering priorities the reliability of the system aug-ments.

Abstract

Rail road switch heaters are used to avoid the formation of snow and ice on top of rail road switches during the cold season, in order to guarantee their correct functioning.

Effective management of the energy consumption of these devices is important to reduce the costs and minimise the environmental impact. While doing so, it is critical 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 a stochastic model-based approach based on the Stochastic Activity Networks (SAN) formalism. An on-off policy is considered for heating the switches, with parametric thresholds of activation/deactivation of the heaters and considering different classes of priority.

A case study has been developed inspired by a real rail road station, to practically demonstrate the application of the proposed approach to understand the impact of different thresholds and priorities on the indicators under analysis (probability of failure and energy consumption).

Introduction

Nowadays, there is a great attention towards cautious usage of energy sources to be employed in disparate application domains, including the transportation sector, to save both in economical terms and in environmental impact (Ghasemieh et al., 2015, Zhu et al., 2004, Qiu et al., 1999, Čaušević et al., 2014). Therefore, studies devoted to analyse and predict energy consumption are more and more gaining importance, especially in combination with other non functional properties, such as reliability, safety and availability. The (electric) energy consumption of a system is the amount of power consumed by a system in a unit of time, that is measured in Watt per hours, while reliability is defined as the continuity of correct service, i.e. the ability of a system to avoid service failures that are more frequent or more severe than is acceptable (Avizienis et al., 2004). While several works devoted at analysing reliability of systems or their energy consumption are available in literature (Ghasemieh et al., 2015) (Qiu et al., 2000) (Di Giandomenico et al., 2013) (Čaušević et al., 2014), there is relatively less work concerning the interplay of these two measures. In this paper, we address reliability and energy consumption through stochastic model-based analysis considering a realistic case study, a rail road switch heating system (www.railsco.com/∼electric_switch_heater_controls.htm, Brodowski and Komosa, 2013).

A rail road switch is a mechanism enabling trains to be guided from one track to another. It works with a pair of linked tapering rails, known as points. These points can be moved laterally into different positions, in order to direct a train into the straight path or the diverging path. Such switches are therefore critical components in the railway domain, since reliability of the railway transportation system highly depends on their correct operation, in absence of which potentially catastrophic consequences may be generated.

Unfortunately, during winter, snow and ice can prevent the switches to work properly and the mechanisms which allow a train to be directed can be blocked by an excessive amount of snow or ice. To overcome this issue, the rail road switches need to be cleaned from possible snow or ice forming on top of it. In the past, the switches were kept clean manually by employees who were sweeping the snow away. Nowadays, heaters are used so that the temperature of the rail road switches can be kept above freezing. The heaters may be powered by gas or electricity (Brodowski and Komosa, 2013). A failure in those switches can lead to major malfunctions.

In case electricity is used to heat the switches it is important to optimise the energy consumption and at the same time to ensure reliability. Different policies may be adopted as for example to heat a selection of switches for a given amount of time. A different approach would be to heat all the switches together. Note that, by turning on all the heating systems at the same time, an overhead of energy consumption can lead to a blackout. Alternatively, an excessively parsimonious policy to save on energy can cause the failure of some rail road switch heaters (Basile et al., 2015).

In this paper, we adopt a stochastic model-based approach to analyse the behaviour of the rail road switch heating system under different circumstances. A modular and parametric approach is followed, to assure usability of the developed analysis framework in a variety of system configurations, as well as to promote extension and refinements of the model itself, to account for further involved aspects/phenomena and so enhance its adherence to sophisticated and realistic implementations with respect to the current version. In particular, we exploit Stochastic Activity Network (Sanders and Meyer, 2000) to model the heating system, and use the Möbius tool (Clark et al., 2001) to perform evaluations.

The proposed analysis contributes to gain insight on the interplay between energy consumption and reliability in order to select an appropriate policy for the heating of the switches, which guarantees a satisfactory trade-off. A prioritized approach has been considered, where the heaters are categorized according to their importance inside the analysed railway station. Note that a failure of the heating system is accounted for by other components of the railway system, namely interlocking mechanisms which guarantee safety; however we do not include them in our analysis. This paper extends a previous work (Basile et al., 2015) in different directions: we provide a major update of the model by introducing a first in, first out (FIFO) prioritized approach, the analysis results are improved with new measure of interests and we consider real world data for our evaluations. Finally, we show that the reliability of the system augments when a prioritized approach is considered.

Structure of the paper Stochastic model-based analysis is introduced in Section 2. In Section 3 we describe the considered rail road switch heating system and its behaviour. We present the models of the rail road switch heating system in Section 4, which are then instantiated to a real scenario in Section 5. The results of our experiments are discussed in Section 6, while related work and conclusions are in Sections 7 and Section 8.

Section snippets

Stochastic model-based analysis

Given the stochastic phenomena involved in our analysis, namely the failure occurrence and weather forecast, we have adopted a stochastic model-based approach (Bernardi et al., 2013, Diab and Zomaya, 2005). Stochastic model-based methods are useful to support the development of systems, in all the phases of their life cycle. In the early design phases they can be helpful for avoiding waste of time and resources in the development phase. This can be done by pointing out the properties and the

The system under analysis

We briefly describe the real-world devices that we want to model and the underlying logical system we have built for analysis purposes. In Table 1 the frequently used acronyms and symbols are displayed.

Modelling framework

In this section we describe the SAN based model realising the rail road switch heating system logic and protocol described previously.

Scenarios and settings

In this section we describe the scenarios and settings we have considered for our analysis. In order to corroborate the proposed methodology, real world data are used. In particular, to keep the presentation simple, an average medium-size railway station of a northern city has been chosen. The cold winter days are considered for the temperatures and the parameters of the physical model are based on data available from real devices (Brodowski and Komosa, 2013) (

Analysis results

We now describe the results of the evaluations we have performed in order to find suitable trade-offs in terms of reliability and energy consumption for different settings of the parameters of the model.

In our experiments, we consider different ranges of thresholds and of available power represented by NHmax. For Twa the range of temperatures goes from 4° C to 25° C, the gap between Twa and Two goes from 1° C to 8° C. For the parameter NHmax, we have considered four scenarios where the

Related works

Although not tailored to the rail road switch heating system, there are several works in the literature that analyse and optimise the energy consumption in several application domains using formal approaches. A few of them are recalled in the following.

Services negotiation of energy and reliability requirements is the selected case study in (Čaušević et al., 2014), where an energy provider, an energy consumer and a mediator try to find an agreement on the amount of energy delivered, its

Conclusion and future work

We have presented the result of a research activity in model-based analysis for a rail road switch heating system. We used Stochastic Activity Networks to evaluate both the energy consumption and the reliability.

The developed SAN modelling framework represents the behaviour of the system that reads in real time both the temperature of the external air and the one of the rail road track, and according to given thresholds and priorities decides when to turn on and off the heaters. We evaluated

Acknowledgements

This work has been partially supported by the projects TENACE (PRIN n.20103P34XC) and CINA (PRIN n.2010LHT4KM), both funded by the Italian Ministry of Education, University and Research.

References (33)

  • R. Alur et al.

    A theory of timed automata

    Theor. Comput. Sci.

    (1994)
  • A. Avizienis et al.

    Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing

    IEEE Trans.

    (Jan 2004)
  • G. Balbo

    Introduction to generalized stochastic petri nets

  • D. Basile et al.

    Stochastic model-based analysis of energy consumption in a rail road switch heating system

  • F. Bause et al.

    Stochastic petri nets: an introduction to the theory. SIGMETRICS Perform

    Eval. Rev.

    (Aug 1998)
  • L.T. Berger et al.

    Power line communications for smart grid applications

    JECE

    (2013)
  • S. Bernardi et al.

    Model-driven Dependability Assessment of Software Systems

    (2013)
  • D. Brodowski et al.

    A Railroad Switch and a Method of Melting Snow and Ice in Railroad Switches

    (2013)
  • J.R. Cannon

    The One-dimensional Heat Equation

    (1984)
  • A. Čaušević et al.

    Distributed energy management case study: a formal approach to analyzing utility functions

  • G. Clark et al.

    The möbius modeling tool

  • R. David et al.

    On hybrid petri nets

    Discrete Event Dyn. Syst.

    (Jan 2001)
  • F. Di Giandomenico et al.

    Stochastic model-based analysis of way operation to support traffic planning

  • Hassan B. Diab et al.

    Dependable Computing Systems: Paradigms, Performance Issues and Applications

    (2005)
  • T. Erbes et al.

    Stochastic learning feedback hybrid automata for dynamic power management in embedded systems

  • H. Ghasemieh et al.

    Energy resilience modelling for smart houses

  • Cited by (17)

    • A hybrid, self-adapting drag-lift conversion wind energy harvesting system for railway turnout monitoring on the Tibetan Plateau

      2021, Sustainable Energy Technologies and Assessments
      Citation Excerpt :

      As an essential component of high-speed railway systems, turnouts [3] play a crucial role in switching trains from one rail to another, and their maintenance has received considerable critical attention [4–6]. Fig. 1 shows the railway distribution on the Tibetan Plateau [7], where turnouts are easily covered by snow, resulting in severe accidents during train operation [8], making it essential to ensure the proper operation of the sensors used to monitor the operation of railway turnouts. It is necessary to harvest ambient energy [9,10] on the Tibetan Plateau to supply power to monitoring sensors, such as wind energy [11–13], solar energy [14,15], and mechanical energy [16–18].

    • Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies

      2021, Sustainable Computing: Informatics and Systems
      Citation Excerpt :

      On the specific topic of railroad switch heating system, as addressed in this paper, in [3] the authors propose to improve the physical technology constituting the heater components. Several other studies, including those performed by a subset of the authors of this paper, focused on the analysis of energy consumption induced by supply policies in smart cities contexts (such as the railway domain, but also home/buildings), contributing an evaluation framework to assess the energy consumption under specific assumptions on the system behavior, fault model and environment conditions [11–15]. In general, the problem of trade-off between energy consumption and reliability/survivability of the system has been addressed, assuming an on/off strategy based on temperature thresholds.

    • Trading dependability and energy consumption in critical infrastructures: Focus on the rail switch heating system

      2020, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
    • 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC

      2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    View all citing articles on Scopus
    View full text