PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Basile D., Di Giandomenico F., Gnesi S. Model-based evaluation of energy saving systems. Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk (eds.). (Studies in Systems, Decision and Control, vol. 74). Cham, Switzerland: Springer International Publishing, 2017.
 
 
Abstract
(English)
Nowadays, there is a great attention towards cautious usage of energy sources to be employed in disparate application domains, including critical infrastructures, to save both in financial terms and in environmental impact. This chapter focuses on stochastic model-based as a support to the analysis of energy saving systems, in combination with other non functional properties, such as reliability, safety and availability. We discuss general guidelines to build a model-based framework to analyse critical cyber-physical systems, where effective energy consumption is required, while assuring imposed levels of resilience. Also, an overview of the most commonly employed methodologies and tools for model-based analysis is provided, and extensive literature is indicated as pointers to relevant research activities performed on this attractive topic over the last decades. Finally, in order to corroborate the proposed framework, a case study in the railway domain is proposed. By adopting the Stochastic Activity Networks formalism, the framework is instantiated to analyse effective trade-offs between energy consumption and satisfaction of other dependability related requirements.
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-44162-7_10
DOI: 10.1007/978-3-319-44162-7_10
Subject Model-based analysis
Green IT
Dependable Computing
C.4 PERFORMANCE OF SYSTEMS
I.6 SIMULATION AND MODELING
C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional