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

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