[Home bibliotech]
Home > Les thèses en ligne de l'INP

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

Bonhomme, Sylvain (2008) Méthodologie et outils pour la conception d'un habitat intelligent. (Methodology and tools for the design of an intelligent home.)

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
5.29 Mo

Abstract

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. 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

Department or laboratory:Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France)
Directeur de thèse:Campo, Eric
Uncontrolled Keywords:Habitat intelligent - Systèmes complexes - UML2/SYSML - Conception et vérification systèmes - Habitudes - Confort - Capteurs de présences - Fusion de données. KEYWORDS : Smart Home - Complex systems - UML2/SYSML - Design and model checking - Habits - Comfort - Presence sensors - Data fusion
Subjects:Computer science > Computer systems
Deposited On:18 July 2008

Archive Staff Only: edit this record


Contacts | Infos légales | Plan du site | Intranet

(c)INP de Toulouse 2012 - Tous droits réservés. -  INP Communication