2015
Other
Open Access
Supporting the design of intelligent railway stations
Basile D, Di Giandomenico F, Gnesi S
Sharing traffic informations from Smart City transports (i.e. bike-sharing, car-sharing) with traffic informations from railway stations is important in order to improve the end-user services and to optimise the energy consumption. These aspects result in a lower environmental impact. We discuss Stochastic Model- Based Analysis for studying reliability and energy consumption in the context of Smart Stations. Optimising the energy consumption of a rail road switch heating system is the proposed case study.
Basile D, Di Giandomenico F, Gnesi S
Sharing traffic informations from Smart City transports (i.e. bike-sharing, car-sharing) with traffic informations from railway stations is important in order to improve the end-user services and to optimise the energy consumption. These aspects result in a lower environmental impact. We discuss Stochastic Model- Based Analysis for studying reliability and energy consumption in the context of Smart Stations. Optimising the energy consumption of a rail road switch heating system is the proposed case study.
See at:
CNR IRIS 
| ISTI Repository | CNR IRIS 
| CNR IRIS
2015
Contribution to book
Restricted
Safe adaptation through implicit effect coercion
Basile D, Galletta L, Mezzetti G
Context-Oriented programming languages provide us with primitive constructs to adapt programs behaviour depending on the evolution of their operational environment. In this paradigm developers must provide behaviour for any context a program may find in. A missing behaviour causes a new kind of runtime error: an adaptation error. We propose a novel mechanism, based on implicit function, that allows the execution environment to supply such behaviour when the program is not able to adapt. We assess our proposal extending a core functional language designed for adaptivity. We integrate the mechanism in a type and effect system, in the form of implicit coercions, showing that our type discipline guarantees that no adaptation errors occur.DOI: 10.1007/978-3-319-25527-9_10
Metrics:
Basile D, Galletta L, Mezzetti G
Context-Oriented programming languages provide us with primitive constructs to adapt programs behaviour depending on the evolution of their operational environment. In this paradigm developers must provide behaviour for any context a program may find in. A missing behaviour causes a new kind of runtime error: an adaptation error. We propose a novel mechanism, based on implicit function, that allows the execution environment to supply such behaviour when the program is not able to adapt. We assess our proposal extending a core functional language designed for adaptivity. We integrate the mechanism in a type and effect system, in the form of implicit coercions, showing that our type discipline guarantees that no adaptation errors occur.DOI: 10.1007/978-3-319-25527-9_10
Metrics:
See at:
doi.org | CNR IRIS | CNR IRIS | link.springer.com
2015
Conference article
Open Access
Stochastic model-based analysis of energy consumption in a rail road switch heating system
Basile D, Chiaradonna S, Giandomenico Fd, Gnesi S, Mazzanti F
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).DOI: 10.1007/978-3-319-23129-7_7
Metrics:
Basile D, Chiaradonna S, Giandomenico Fd, Gnesi S, Mazzanti F
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).DOI: 10.1007/978-3-319-23129-7_7
Metrics:
See at:
CNR IRIS | link.springer.com | ISTI Repository | doi.org | CNR IRIS | CNR IRIS