@conference {Hafdi2020,
	title = {Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture},
	booktitle = {Proceedings of 2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, CloudTech 2020},
	year = {2020},
	note = {cited By 0},
	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. {\textcopyright} 2020 IEEE.},
	keywords = {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},
	doi = {10.1109/CloudTech49835.2020.9365923},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85102629868\&doi=10.1109\%2fCloudTech49835.2020.9365923\&partnerID=40\&md5=7c48017aaa6f8aa00a31f5ae27bd816c},
	author = {Hafdi, K. and Kriouile, A.}
}
