Authors:
Aymen Jaouadi
1
;
Olfa Mosbahi
2
;
Mohamed Khalgui
2
and
Asma Sakri
1
Affiliations:
1
University of Tunis, Tunisia
;
2
INSAT Institute and University of Carthage, Tunisia
Keyword(s):
Microcontroller, STM32F4, Reconfiguration, Smart Home, Smart Grid, Software Agent, Modeling and Verification, Simulation.
Abstract:
The research paper deals with new Green Smart Homes which offer original services such as the optimal power consumption, peak management, and home power selling while assuming an available home green energy. We propose a Master-Slave based architecture following the well-known industrial technology STM32F4. A microcontroller Slave Agent is proposed for each selected Home Device to control its local consumption, and a unique microcontroller Master Agent is proposed to control the whole architecture. The goal is to optimize the use of green energy, to minimize the consumption costs by exploiting the offers from providers and also the peak times. We model these services by using the model checker UPPAAL, and propose UML design diagrams for this architecture. A visual simulator of this STM32-based architecture is developed and applied to a case study proposed by Cynapsys.