Typology
operator:
and / or
Language
operator:
and / or
Date
operator:
and / or
Rights
operator:
and / or
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.Source: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami, pp. 122–141, 2015
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.Source: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami, pp. 122–141, 2015
DOI: 10.1007/978-3-319-25527-9_10
Metrics:
See at:
doi.org 
| link.springer.com | CNR ExploRA
2015
Contribution to conference
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.Source: CINI Annual Conference on ICT for Smart Cities & Communities, Palermo, Italy, 29-30 Ottobre 2015
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.Source: CINI Annual Conference on ICT for Smart Cities & Communities, Palermo, Italy, 29-30 Ottobre 2015
See at:
ISTI Repository 
| CNR ExploRA
2015
Conference article
Open Access
Stochastic model-based analysis of energy consumption in a rail road switch heating system
Basile D., Chiaradonna S., Giandomenico F. D., 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).Source: Software Engineering for Resilient Systems. 7th International Workshop, pp. 82–98, Paris, France, 7-8/09/2015
DOI: 10.1007/978-3-319-23129-7_7
Metrics:
Basile D., Chiaradonna S., Giandomenico F. D., 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).Source: Software Engineering for Resilient Systems. 7th International Workshop, pp. 82–98, Paris, France, 7-8/09/2015
DOI: 10.1007/978-3-319-23129-7_7
Metrics:
See at:
ISTI Repository | doi.org | link.springer.com | CNR ExploRA