Méthodologie et outils pour la conception d'un habitat intelligent
Institution:
Toulouse, INPTDisciplines:
Directors:
Abstract EN:
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.
Abstract FR:
La réalisation de systèmes complexes de mesures, de contrôle et de surveillance nécessite une méthodologie de conception rigoureuse et des outils adaptés pour aboutir à un système sans faute. La démarche méthodologique proposée vise à aider à la conception d'un système complexe dédié à la gestion intelligente du confort et à la sécurité des personnes au sein de l'habitat. Cette démarche s'intègre dans un processus d'Ingénierie Système et s'appuie sur les standards UML et SYSML, mais également sur le formalisme HiLes, développé par le LAAS et adapté à la conception de modèle commande, la vérification formelle et la simulation numérique. Ces travaux de thèse présentent les méthodes et les outils de conception préconisés pour un habitat intelligent intégrant les objectifs de confort et de sécurité. Deux expérimentations sont décrites utilisant une commande auto-adaptative basée sur l'apprentissage des habitudes des utilisateurs dans leur environnement de vie et implémentés sur site réel.