3 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
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

See at: academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | dl.acm.org Restricted | link.springer.com Restricted | link.springer.com Restricted | link.springer.com Restricted | CNR ExploRA Restricted | PURE Aarhus University Restricted


2015 Contribution to conference Open Access OPEN

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

See at: ISTI Repository Open Access | CNR ExploRA Restricted


2015 Conference article Open Access OPEN

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 devel­oping 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

See at: ISTI Repository Open Access | academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | link.springer.com Restricted | link.springer.com Restricted | link.springer.com Restricted | CNR ExploRA Restricted | rd.springer.com Restricted