Méthodologie et outils pour la conception d'un habitat intelligent

Abstract : The realization of complex systems for measurement, control and monitoring requires a rigorous design methodology and adapted tools to get a no-fault system. The methodological approach is designed to assist in the design of a complex system dedicated to the intelligent management of the comfort and safety of persons at home. This approach is part of a System Engineering process and based on the UML and SYSML standards, but also on the HiLes formalism developed by the LAAS and adapted to the design of command model, formal verification and simulation. This work presents methods and design tools suggested for a smart home integrating the goals of comfort and safety. Two experiments are described using a self-adaptive learning based on the habits of users in their living environment and implemented on real sites
Document type :
Theses
Micro and nanotechnologies/Microelectronics. Institut National Polytechnique de Toulouse - INPT, 2008. French


https://tel.archives-ouvertes.fr/tel-00292456
Contributor : Arlette Evrard <>
Submitted on : Tuesday, July 1, 2008 - 3:26:48 PM
Last modification on : Tuesday, March 24, 2015 - 1:04:53 AM

Identifiers

  • HAL Id : tel-00292456, version 1

Collections

Citation

Sylvain Bonhomme. Méthodologie et outils pour la conception d'un habitat intelligent. Micro and nanotechnologies/Microelectronics. Institut National Polytechnique de Toulouse - INPT, 2008. French. <tel-00292456>

Export

Share

Metrics

Consultation de
la notice

293

Téléchargement du document

470