Les systèmes de mesures, de contrôle et de surveillance sont de plus en plus complexes et peuvent nécessiter différentes compétences disciplinaires. La réalisation de tels systèmes imposent une méthodologie de conception rigoureuse et des outils adaptés pour aboutir à un système sans faute. C'est dans cet esprit qu'a été adoptée une démarche méthodologique de conception et de vérification pour 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 le processus d'Ingénierie Système tel que défini par la norme EIA-632, et s'appuie sur les standards UML et SYSML pour décrire le système, mais également sur le formalisme HiLes, développé par le LAAS et adapté à la conception de modèle commande, la vérification et la simulation numérique. Les propriétés structurelles et dynamiques des solutions logiques et physiques sont ainsi vérifiées formellement de manière semi-assistée conformément aux exigences du cahier des charges. Dans ces travaux de thèse, nous présentons les méthodes et les outils de conception que nous préconisons pour un habitat intelligent intégrant les objectifs de confort et de sécurité. Nous nous appuierons sur deux expérimentations : la gestion économe du confort toutes saisons et la surveillance de personnes âgées ou dépendantes souhaitant vivre seules à leur domicile. Ces deux exemples, utilisant une commande auto-adaptative basée sur l'apprentissage des habitudes des utilisateurs dans leur environnement de vie, ont été appliqués, dans ces travaux de thèse et au cours de travaux antérieurs, sur site réel durant plusieurs mois. Ils ont permis d'explorer l'intérêt de nos propositions et d'obtenir des résultats de validation montrant les perspectives à venir.