������

Energy-saving Buildings Assessment through StochasticHybrid Model-based Evaluation

Davide Basile Felicita Di Giandomenico Stefania Gnesi

Istituto di Scienza e Tecnologia dell'Informazione �A. Faedo�,

Consiglio Nazionale delle Ricerche, ISTI-CNR, Pisa, Italy

i-Cities 2016, 9/2016

D.B. et al. (ISTI CNR) Smart Buildings i-Cities 2016 1 / 6

������

Smart Buildings: challenges (1)

Energy management: relevant political, societal and technologicalconcern;

Reducing Energy consumption ⇒ Goal of IT systems;

Smart Buildings: energy optimization and facilities management ofintelligent buildings;

Examples: monitor and control energy supply and safety aspectsthrough sensor networks and energy sources � collect informationsfrom devices connected to Internet;

Applications: heating, cooling, ventilation, lighting, hot water system;

D.B. et al. (ISTI CNR) Smart Buildings i-Cities 2016 2 / 6

������

Smart Buildings: challenges (2)

Challenges: sustainable energy saving and safe solutions � upgradelegacy systems;

Bene�ts:

costs,environment (reputation, avoid penalties),risks (price �uctuations, energy shortages);

40% of energy end-use in EU;

80% energy-usage in operational stage;

tools and methodologies to support decisions and design to reduceenergy consumption;

D.B. et al. (ISTI CNR) Smart Buildings i-Cities 2016 3 / 6

������

Cyber-Physical Systems

Smart Buildings as CPS � physical and cyber parts;

Policies of energy consumption on the nodes:

Asynchronous messages, reducing number of messages, priorities;

Integration in the design of critical system

energy saving vs dependability;

Quantitative assessment to support design and decisions of policiesof energy management;

Stochastic model-based analysis,

abstract level;stochastic hybrid models;simulations

D.B. et al. (ISTI CNR) Smart Buildings i-Cities 2016 4 / 6

������

Stochastic Model-based Analysis

case study � Railway System;

critical system: reliability vs energyconsumption;

Hybrid stochastic model � physical part,cyber part, stochastic aspects;

DPM threshold policy on-o�;

indicators of CE

D.B. et al. (ISTI CNR) Smart Buildings i-Cities 2016 5 / 6

������

References

Basile, D., Chiaradonna, S., Di Giandomenico, F., Gnesi, S.: A stochasticmodel-based approach to analyse reliable energy-saving rail road switchheating systems. JRTPM (2016),

Basile, D., Chiaradonna, S., Di Giandomenico, F., Gnesi, S., Mazzanti, F.:Stochastic model-based analysis of energy consumption in a rail road switchheating system. SERENE 2015. LNCS 9274

Basile, D., Di Giandomenico, F., Gnesi, S.: Tuning energy consumptionstrategies in the railway domain: a model-based approach. In: ISOLA 2016

Basile, D., Di Giandomenico, F., Gnesi, S.: "Energy ConsumptionAssessment of Reliable Systems through Stochastic Model Based Analysis"in Green IT Engineering: Concepts, Models, Complex Systems Architectures,Volume 1, Springer Book series Studies in Systems, Decision and Control

Basile D, Di Giandomenico F., Gnesi S., Supporting the Design of IntelligentRailway Stations. I-CiTies 2015 -CINI Annual Conference on ICT for SmartCities &Communities 2015

D.B. et al. (ISTI CNR) Smart Buildings i-Cities 2016 6 / 6