Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture

Titre	Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture
Publication Type	Conference Paper
Year of Publication	2020
Authors	Hafdi, K, Kriouile, A
Conference Name	Proceedings of 2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, CloudTech 2020
Mots-clés	Artificial intelligence, Binary alloys, Cloud computing, Dysprosium alloys, Electric power transmission networks, Formal analysis, Formal model, Internet of things, IOT applications, IOT networks, Microgrids, Model checking, Model-checking techniques, Network architecture, Power grids, Rhenium alloys, Smart grid, Smart power grids, Technological solution
Abstract	Several cities in the world are moving from traditional power grid to Smart Grids. In order to set up Smart Grids, we should be able to face many challenges related to reliability, scalability, dynamism, technological solutions, security, etc. In this paper, we propose a case study where we model a micro Smart Grid according to the ReDy architecture, which is intended for IoT applications. The ReDy architecture provides a base to implement a scalable, reliable, and dynamic IoT network ready to meet Smart Grid needs. In order to prove those requirements, we opted for formal modeling and validation approach using model checking techniques. This formal analysis is carried out using the CADP toolbox. © 2020 IEEE.
URL	https://www.scopus.com/inward/record.uri?eid=2-s2.0-85102629868&doi=10.1109%2fCloudTech49835.2020.9365923&partnerID=40&md5=7c48017aaa6f8aa00a31f5ae27bd816c
DOI	10.1109/CloudTech49835.2020.9365923