1 Dipartimento di Ingegneria Elettrica e Tecnologie dell’Informazione, Università “Federico II” di Napoli, Naples, Italy
2 Dipartimento di Matematica e Fisica, Seconda Università di Napoli, Caserta, Italy
The construction of a usable, formal, and extensible modeller and simulator for Smart Energy Grids is of a paramount importance in the industrial settings. Final users are interested in deploying effective smart-home configurations able to satisfy energy requests in the most economical way. Hence, a tool able to forecast both energy consumption and related costs of a smart-home configuration is needed. In this paper, the μGRIMOIRE (micro GRId MOdelling envIRonmEnt) toolset is presented. This tool is based on the well-known model-driven paradigm and its successful applications in the generation of formal/quantitative models for complex systems. By using a Domain Specific Modelling Language, a final user can define a smart-home system configuration and energy saving logics. Then, the tool offers the possibility of evaluating the desired user metrics by translating the model into a Fluid Stochastic Petri Net model representing both discrete and continuous variables.
Keywords: Fluid Stochastic Petri Nets, Model-Driven Techniques, Hybrid Systems Design, Energy Consumption Evaluation, Smart Grid Modelling Language.
open-access license: This is an open access article licensed under the terms of the Creative Commons Attribution-Non-Commercial 4.0 International Public License (CC BY-NC 4.0) (https://creativecommons.org/licenses/by-nc/4.0/legalcode), which permits unrestricted, non-commercial use, distribution and reproduction in any medium, provided the work is properly cited.
* Address correspondence to this author at the Dipartimento di Matematica e Fisica, Seconda Università di Napoli, Caserta, Italy; Tel: +39 0823275101; Fax: +39 0823274753; E-mail: email@example.com.