Methodology and tools for the design and verification of a smart management system for home comfort

Measurement, control and monitoring systems are increasingly complex and may require various disciplinary skills. Producing such systems requires rigorous design methodology and the right tools. It is with this in mind that the design and formal verification HiLes tool was developed. This methodological design and verification process was used in this work to design a complex system dedicated to the intelligent home comfort management. It is built into the system engineering process defined by EIA-632, which uses UML and SYSML standards to identify the requirements, model the control logics of the system and formally validate its dynamic properties, all in a semi-automated way. In this paper, we present the various design phases according to this method as well as the results of formal verification of the complete system dynamic behavior.