La proportion des personnes âgées au sein de notre société ne cesse d'augmenter à un rythme régulier. Ce phénomène, qui est partiellement explicable par les effets combinés d'une baisse du taux de natalité avec ceux d'une augmentation de l'espérance de vie, commence déjà à avoir un effet notable sur le système de la santé, tant au Canada qu'ailleurs dans le monde, et à soulever plusieurs questions d'ordre éthique, social, médical et économique. Le maintien à domicile le plus longtemps possible, dans des conditions sécuritaires pour l'occupant, est de loin préférable à l'institutionnalisation en milieu spécialisé. Par contre, comme le vieillissement va de pair avec plusieurs types de maladies, comment arriver à favoriser le maintien à domicile de nos aînés en perte d'autonomie cognitive? Nous croyons que les habitats intelligents en télé santé peuvent répondre en partie à cette question. Afin d'être «intelligents», de tels habitats devront être en mesure de déduire correctement les tâches que l'occupant effectue et, éventuellement, d'apprendre ses habitudes de vie. L'utilisation d'une combinaison de capteurs non invasifs (choisis en tenant compte de plusieurs considérations éthiques dont le respect de la vie privée et de la dignité de l'individu) et d'un module de reconnaissance d'activités basé sur les réseaux bayésiens devraient permettre à l'habitat intelligent de déterminer quelle AVQ (Activité de la Vie Quotidienne) et/ou quelle AIVQ (Activité Instrumentale à la Vie Quotidienne) l'occupant effectue. Un système complet de reconnaissance d'activité devrait, une fois complètement opérationnel, être en mesure non seulement de détecter les situations anormales et d'agir en conséquence, mais aussi de faire ressortir les changements inattendus dans la routine habituelle de l'occupant (ses habitudes de vie) pouvant indiquer un déclin des facultés cognitives de ce dernier ou l'apparition d'une nouvelle pathologie comme la diarrhée ou l'insomnie. Notre travail se concentre sur la reconnaissance d'un certain nombre d'activités pouvant être effectuées dans la salle de bain. Pour ce faire, nous utilisons des réseaux bayésiens spécialisés qui déduisent, en fonction des interactions de l'occupant avec son environnement, quelle est l'activité la plus probablement en cours. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Habitat intelligent, reconnaissance d'activité, habitudes de vie, réseaux bayésiens, perte d'autonomie, vieillissement, apprentissage, AVQ, «Aging in Place»

Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 158 réf.

Nos maisons sont intelligentes grâce aux appareils fournissant des services (sécurité, efficacité énergétique,...). Des fournisseurs de services non fiables veulent profiter de la maison intelligente en développant des services hébergés dans une passerelle domotique embarquée. Cette passerelle doit être suffisamment robuste contre les problèmes logiciels. Partager les ressources de passerelle entre applications permet de fournir des services riches, mais provoque des risques de conflits de partage de ressources. Nous abordons le problème des conflits de partage des ressources dans la passerelle domotique, investiguant la prévention lorsque possible, et la détection et la résolution sinon. Notre première contribution «Jasmin» est un intergiciel pour développer, déployer et isoler les applications embarqués natives à base de composants et orientées services. Jasmin utilise les conteneurs Linux pour une isolation à faible coût. Notre seconde contribution «Incinerator» est un système dans la machine virtuelle Java (JVM) qui résout le problème des références obsolètes en Java, qui causent des fuites mémoire importantes en OSGi, augmentant ainsi les risques de conflits de partage de mémoire. Incinerator détecte et élimine les références obsolètes. Pour détecter les conflits de partage de mémoire, nous présentons la troisième contribution : système de surveillance mémoire dans la JVM. Le système compte précisément les ressources consommées pendant les interactions entre applications et fournit des statistiques d'utilisation de mémoire pour les différents fournisseurs de services partageant la passerelle. / Our homes become smart thanks to devices providing services (security, energy efficiency,…). Untrusted service providers want to take advantage of the smart home by developing services hosted by an embedded smart home gateway. The gateway should be robust enough to handle software problems. Sharing resources of the gateway between service providers allows providing richer services but raises risks of resource sharing conflicts. We addresses the problem of resource sharing conflicts in the smart home gateway, by prevention when possible, and by detection and resolution otherwise. Our first contribution "Jasmin" is a middleware to develop, deploy and isolate native embedded component-based and service-oriented applications. Jasmin uses Linux containers for lightweight isolation. Our second contribution "Incinerator" is a subsystem in the Java Virtual Machine (JVM) aiming to resolve the problem of Java stale references, which cause significant memory leaks in an OSGi-based smart home gateway, hence increasing the risks of memory sharing conflicts. Incinerator detects and eliminates stale references. In order to detect memory sharing conflicts, we propose our third contribution: memory monitoring subsystem in the JVM. The system accurately accounts for resources consumed during cross-application interactions, and provides snapshots of memory usage statistics for the different service providers sharing the gateway.

Les fenêtres intelligentes présentent un potentiel important quant à la réduction de la consommation d’énergie dans les bâtiments et permettent d’assurer le confort visuel des occupants. Depuis le début des années 90, la recherche sur les technologies de fenêtres intelligentes s’est accentuée tant au niveau des technologies elles-mêmes qu’au niveau des types de contrôle qu’on peut leur appliquer pour gérer le plus efficacement possible le rayonnement solaire qui les traverse. Plusieurs laboratoires de recherche tels que le Lawrence Berkeley National Laboratory (LBNL) se sont penché sur la question. L’évolution de la recherche dans ce domaine démontre toute la complexité associée à l’évaluation rigoureuse des performances des fenêtres intelligentes. De par sa capacité à gérer le rayonnement solaire, il va de soi que ce genre de technologies nécessite la connaissance du rayonnement solaire incident pour faciliter la prise de décision quant au contrôle à apporter. Étant donnés les coûts des technologies de capteurs de rayonnement solaire existantes et la limitation de certains quant à leur précision (lors de fluctuations du spectre électromagnétique et/ou des températures ambiantes), l’utilisation de capteurs de rayonnement solaire dédiés au contrôle de fenêtre intelligente est donc limitée. Par ailleurs, les connaissances sont encore limitées concernant les conditions permettant d’optimiser le contrôle de ce genre de technologies en termes d’énergie et de confort. L’objectif général de cette thèse est d’élargir les connaissances scientifiques sur le potentiel des technologies de fenêtres électrochromes quant à leur capacité à augmenter la performance énergétique et le confort des occupants dans les bâtiments. Dans un premier temps, un nouveau type de capteur de rayonnement solaire à faible coût est présenté. Ce capteur utilise la différence de température entre une surface blanche et une surface noire pour estimer le flux solaire radiatif traversant les ouvertures d’un bâtiment. Les mesures de rayonnement solaire sont corrélées aux températures de surfaces à l’aide un modèle thermique du capteur en 1D. Deux différents modèles de capteur sont présentés et les résultats obtenus sont comparés aux mesures solaires de référence obtenues par un pyranomètre. Il a été démontré que les modèles de capteurs présentent des précisions suffisantes pour un contrôle efficace. Finalement, il est observé que la période de calibration des capteurs requiert minimalement une demi-journée de mesures sous des conditions de ciel clair incluant le midi solaire. Dans un deuxième temps, l’impact des stratégies de contrôle de fenêtre intelligente sur la consommation énergétique globale est évalué. L’état des fenêtres intelligentes nécessaire à toute heure de la journée pour permettre une minimisation de la consommation d’énergie globale tout en respectant les contraintes reliées au confort thermique et visuel est déterminé à l’aide d’une stratégie d’optimisation basée sur des algorithmes génétiques. Ce contrôle quasi-optimal est alors comparé à d’autres approches qui peuvent être adaptées à des applications en temps réel, soit des contrôles fondés sur des règles et un modèle de contrôle prédictif. Les impacts de la masse thermique et de la puissance du système d’éclairage installé sont également analysés. Les résultats montrent que les quatre stratégies de contrôle à l’étude présentent une consommation énergétique similaire avec des écarts de consommation globale variant de 4% à 10%. Cette étude illustre que des stratégies de contrôle plus simple permettent d’obtenir des résultats satisfaisants. Finalement, une analyse de sensibilité basée sur une grande variété de combinaison de paramètres de design est réalisée. Des résultats énergétiques et de confort pour un total de 7680 scénarios sont obtenus et utilisés dans cette analyse considérant l’effet principal des paramètres de design du bâtiment. L’influence relative des paramètres est présentée et les différents designs améliorant les résultats sont déterminés. Les résultats montrent que la meilleure économie d’énergie avec fenêtres intelligentes se trouve dans des climats chauds avec une exposition élevée aux rayons solaires. La présence de fenêtres intelligentes influence principalement la charge de refroidissement maximale et agit comme une solution alternative à la masse thermique en termes de réduction potentielle de cette charge maximale. Bien que le choix de la stratégie de contrôle ait un impact limité sur l’économie d’énergie réalisée et la réduction de la charge maximale, l’analyse permet de constater que ce paramètre a un impact encore plus important sur le confort visuel. L’utilisation de fenêtres intelligentes ne semble pas influencer grandement le confort thermique à l’intérieur de la zone. / Smart windows present a huge potential in terms of energy consumption reduction in buildings while also offering the possibility to assure occupants’ visual comfort. Since the early nineties, research in the field of smart windows gains a lot of interest on both the technologies and the controls that could be applied on such technologies to manage more efficiently solar gains passing through these windows. Many different well-known entities such as the Lawrence Berkeley National Laboratory invested efforts in this field and demonstrated the great complexity related to the thorough evaluation of smart window performances. Given its capacity to manage solar radiation, it makes sense to benefit from solar radiation measurements to control efficiently such technology. However, the costs and other technical related limitations reduce the potential to use readily available solar sensors for smart window control. Moreover, general knowledge is still limited regarding the conditions leading to optimal control decisions of smart windows. The main objective of this thesis was to gain a better understanding of how electrochromic windows could lead to improved performances in terms of energy consumption and thermal comfort. First, a new design of low cost solar sensor is proposed. The sensor uses the difference in temperature of white and black surfaces to estimate the solar heat flux through building openings. Results of solar radiation measurements are obtained through a correlation based on a 1D thermal model of the sensor. Two designs of the sensor are presented and obtained results compared with solar measurements of a high precision pyranometer. It was shown that the new sensors present sufficient accuracy for smart window control applications. Finally, it was observed that ideal sensors calibration period should consider at least half a day of measurements, including solar peak time, and should be done during clear sky conditions. Then, the impact of the applied control strategy on the overall energy consumption is investigated. The hour-by-hour state of the smart windows required to minimize overall energy consumption while respecting constraints related to comfort is determined through an optimization strategy based on genetic algorithms. This quasi-optimal control is compared to other approaches that could be applied in real-time applications, i.e. rule-based controls and a model predictive control. The impacts of thermal mass and installed light power density are also analyzed. Results show that the four control strategies under study presented similar energy consumption with differences in total energy consumption ranging from 4% to 10%. This study illustrates that simpler control strategies can also lead to satisfying results. Finally, a sensitivity analysis based on a large number of different combinations of design parameters is performed. Results related to energy and for a total of 7680 scenarios were obtained and used in this analysis considering the Main effect of the building parameters. The relative influence of the parameters is presented and the different designs improving the outputs are determined. Results have shown that the greatest total energy savings considering EC windows are for warmer climates with higher solar radiation exposures. The presence of an EC window mostly influences the cooling peak load and acts as an alternative solution to thermal mass from the perspective of peak reductions. While the choice of the specific window control strategy is having a limited impact on the energy savings and peak load reductions, the analysis revealed that this parameter has a larger impact on the visual comfort. The use of smart window does not appear to greatly influence the thermal comfort within the zone.

Dans le cadre des évolutions du bâtiment, il est de plus en plus nécessaire d'interconnecter des objets communicants. Cette démarche est cependant freinée du fait de l'absence d'un protocole de communication standard. La maison intelligente n'est pas un nouveau concept, et l'automatisation de la maison est devenue un sujet de recherche à la mode ces dernières années. La problématique de cette thèse se focalise sur l'interopérabilité de systèmes communicants. Plus précisément, nous nous intéressons à la manière de créer une coopération entre différents dispositifs d'un environnement, afin de masquer la complexité à l'usager. Dans un premier temps, l'interopérabilité entre ces objets est réalisée par la mise en place d'un écosystème virtuel où les dispositifs peuvent communiquer leurs états ou l'état de l'environnement. C'est l'abstraction des systèmes. Dans ce mémoire, nous abordons comment et pourquoi les systèmes sont nécessairement abstraits lorsque l'on s'intéresse à la prise en compte du contexte de l'installation. L'étude de la prise en compte du contexte à permis de procurer les données scientifiques à l'entreprise Overkiz afin qu'elle puisse réaliser l'abstraction des dispositifs domotiques. Ensuite, la coopération entre les objets communicants est mise en œuvre par un outil mathématique permettant de modéliser le comportement d'un environnement composé d'actionneurs, de capteurs et d'interfaces utilisateurs. Le comportement est formalisé au moyen de la théorie des automates étendus et plus particulièrement par la théorie des systèmes de transitions symboliques à entrées/sorties (IOSTS). Nous synthétisons alors le pilotage par un "contrôleur" du comportement global d'une installation, à partir de règles de contraintes ou de règles d'action.

L'assistance aux personnes ayant des troubles cognitifs, au laboratoire DOMUS, se fait selon deux approches. La première met en oeuvre des outils d'assistance personnelle portés par la personne, comme le panic button ou encore une application déployée sur un téléphone intelligent. La seconde consiste à équiper l'environnement de la personne afin de lui proposer une aide discrète qui ne modifie que très peu ses habitudes de vie. Ce présent projet de recherche s'inscrit dans la seconde approche d'assistance. Ce mémoire a pour but de proposer un prototype de sol intelligent permettant la localisation et même l'identification des personnes présentes dans un espace intelligent. Les sols intelligents jusqu'alors développés présentent tous la même particularité : ils nécessitent, pour les déployer et les exploiter, des connaissances avancées dans les domaines de l'informatique et de l'électronique ainsi que la mise en place d'un processus complexe pour leur déploiement et leur exploitation. L'architecture proposée pour ce prototype de sol intelligent vise à faciliter au maximum sa configuration et son utilisation afin de réduire au maximum les coûts qui y sont liés. Pour faciliter le développement des algorithmes d'auto-configuration et d'exploitation des noeuds constituant le sol intelligent, un simulateur a été réalisé. Il permet de confirmer le comportement de ces algorithmes dans un réseau de grande dimension sans avoir à mettre en place une réalisation matérielle qui représente une étape complexe et coûteuse. La mise en oeuvre, d'un point de vue matériel, au niveau matériel n'a été réalisée que sur un nombre limité de noeuds afin d'en démontrer la faisabilité.

Dans le cadre des évolutions du bâtiment, il est de plus en plus nécessaire d'interconnecter des objets communicants. Cette démarche est cependant freinée du fait de l'absence d'un protocole de communication standard. La maison intelligente n'est pas un nouveau concept, et l'automatisation de la maison est devenue un sujet de recherche à la mode ces dernières années. La problématique de cette thèse se focalise sur l'interopérabilité de systèmes communicants. Plus précisément, nous nous intéressons à la manière de créer une coopération entre différents dispositifs d'un environnement, afin de masquer la complexité à l'usager. Dans un premier temps, l'interopérabilité entre ces objets est réalisée par la mise en place d'un écosystème virtuel où les dispositifs peuvent communiquer leurs états ou l'état de l'environnement. C'est l'abstraction des systèmes. Dans ce mémoire, nous abordons comment et pourquoi les systèmes sont nécessairement abstraits lorsque l'on s'intéresse à la prise en compte du contexte de l'installation. L'étude de la prise en compte du contexte à permis de procurer les données scientifiques à l'entreprise Overkiz afin qu'elle puisse réaliser l'abstraction des dispositifs domotiques. Ensuite, la coopération entre les objets communicants est mise en œuvre par un outil mathématique permettant de modéliser le comportement d'un environnement composé d'actionneurs, de capteurs et d'interfaces utilisateurs. Le comportement est formalisé au moyen de la théorie des automates étendus et plus particulièrement par la théorie des systèmes de transitions symboliques à entrées/sorties (IOSTS). Nous synthétisons alors le pilotage par un "contrôleur" du comportement global d'une installation, à partir de règles de contraintes ou de règles d'action. / In the context of the building developments, it is increasing necessary to interconnect communicating objects. This approach is slow down because of the lack of a standard communication protocol. The smart home is not a new concept, and home automation has become a fashion research topic in recent years. The problem of this thesis focuses on the interoperability of communicating systems. Specifically, we focus on how to establish cooperation between different devices of an environment in order to hide the complexity to a user. Initially, interoperability between these objects is achieved by the establishment of a virtual ecosystem where devices can communicate their states or the state of the environment. It is the abstraction of systems. In this paper, we discuss how and why systems are necessarily abstract when we are interested in taking into consideration the context of the installation. The study of consideration of context allowed to provide scientific data to the company Overkiz in order to realize abstraction of home automation devices. Second, cooperation among communicating objects is implemented by a mathematical tool to model the behavior of an environment cibsustubg of actuators, sensors and user interfaces. The behavior is formalized using the automata theory and more specificaly the automaton theory of Input/Output Symbolic Transition Systems (IOSTS). We synthesize then how to synthetise a "controller" of a global behavior of an installation, from constraint rules or rules of action.

Ces dernières années, les réseaux de capteurs sans fil ont vu leurs champs d'applications s'élargir pour toucher plusieurs domaines dont celui de surveillance. En parallèle, le domaine à vocation médicale pour l'assistance aux personnes n’a pas manqué de s'intéresser lui aussi à cette technologie émergente face aux nombreux attraits qu'elle représente. C'est dans ce contexte que se situe notre travail de thèse. Nous nous intéressons à l'utilisation des réseaux de capteurs de type vidéo non intrusif pour la surveillance continue de personnes âgées évoluant dans leur environnement naturel. L’objectif est la proposition d’un système associant capteur vidéo et analyse intelligente locale, à un système de communication sans fil permettant la surveillance de personnes dans son habitat ou en milieu spécialisé. Nous désirons avant tout être capable d’identifier la personne surveillée et détecter son comportement, ses actions, ses mouvements afin d’agir sur son environnement via un système de communication sans fil et domotique, détecter une chute et émettre une alerte à travers le réseau. Une telle proposition, représente une solution avantageuse pour plusieurs raisons. Sur le plan économique, surveiller une personne âgée tout en la gardant dans son environnement normal permettrait de diminuer les charges d'assistance aux personnes en les traitant par un personnel spécialisé à l'hôpital ou à une maison de retraite. Un apport non négligeable est celui lié aux aspects psychiques et sociaux de la personne âgée, à qui cette surveillance discrète et imperceptible lui assure à la fois le sentiment de sécurité, de respect de la vie privée et d'autonomie. / In recent years, wireless sensor networks have seen their fields of application expand to affect several areas, including monitoring. In parallel, the field medical projects to assist people did not fail to be interested in this emerging technology thanks to the attractions it represents. It is in this context that our thesis is subscribed. We are interested in the use of a non-intrusive video sensors network to monitor elderly people continuously in their natural environment. The objective is the proposal of a video sensor system combining local and intelligent analysis, a wireless communication system for monitoring people in their habitat or specialized environment. We want above all, to be able to identify and detect the monitored person's behavior as well as his actions and his movements to act on his environment via a wireless communication system and home automation. Then we aim to detect a fall and communicate an alert through the network. This proposal represents an advantageous solution for several reasons. Economically, monitor an elderly person while keeping it in his normal environment would reduce the charges of assistance to people by treating them with specialized staff at the hospital or a nursing home. A significant contribution is the one related to the psychological and social aspects of the elderly, to whom this discreet and invisible monitoring ensures both the feeling of security, respect for privacy and autonomy.

En France, comme dans l'ensemble des pays développés, le même constat est dressé : la population vieillit. Cette évolution démographique sans précédent dans l'histoire de l'humanité pose un certain nombre d'enjeux économiques et sociaux liés à la prise en charge des personnes âgées dépendantes et/ou en situation de handicap, dont le nombre augmente considérablement au fil des ans. Le nombre d'aidants potentiels ne pouvant augmenter en conséquence, il faut penser dès aujourd'hui à des solutions alternatives pour permettre à ces personnes de garder un niveau d'autonomie suffisant leur permettant de rester dans leur environnement domestique préféré le plus longtemps possible. Les systèmes domotiques, qui regroupent l'ensemble des technologies de l'informatique, de l'électronique et des télécommunications au sein d'un habitat, permet d'y apporter des solutions technologiques. Dans ces travaux, nous proposons un flot de conception dirigé par les modèles pour la commande et la supervision de systèmes domotiques d'assistance. Dans un premier temps, nous cherchons à intégrer une personne non-experte en domotique (e.g. membre de la famille / aidant, ergothérapeute) dans certaines étapes de la conception pour une meilleure prise en compte des besoins de personnes en situation de handicap mais aussi pour limiter l'intervention relativement coûteuse de l'expert. Pour cela, nous proposons un langage de modélisation (DSML : Domain Specific Modeling Language) permettant de décrire un système domotique en manipulant des concepts à un haut niveau d'abstraction. Ce DSML est composé de deux vues : une vue physique pour représenter l'environnement domotique et une vue fonctionnelle pour définir les interactions entre l'utilisateur et son système domotique. Dans cette dernière vue, deux types d'interactions sont définis pour prendre en compte un nombre de besoins utilisateur le plus grand possible. Ainsi, il est possible de définir des requêtes de différents types (i.e. services) comme des interdictions temporaires (i.e. modes) sur des ressources domotiques. À partir des modèles définis à l'aide de ce langage, notre flot de conception permet de générer la partie commande à l'aide de transformations de modèles successives. Une évaluation sur le cas d'étude des appartements tremplins du centre de Kerpape avec des étudiants puis des ergothérapeutes permet d'avoir des retours intéressants sur l'utilisabilité du DSML et du flot de conception proposé. Dans un deuxième temps, nous cherchons à offrir une solution alternative aux approches de supervision basées sur l'utilisation massive de capteurs, qui peut parfois être problématique lorsque l'on s'intéresse à l'acceptabilité de la solution par l'utilisateur (coût, intrusivité). Nous proposons pour cela d'intégrer dans le flot de conception un modèle de supervision non-intrusif basé sur une ontologie pour représenter les interactions utilisateur-système. Contrairement aux solutions existantes, ce modèle n'est pas basé sur des données de capteurs, mais sur l'analyse sémantique des commandes domotiques envoyées par l'utilisateur. L'ontologie et les règles qui lui sont associées permettent à un moteur d'inférences d'extraire des informations habituellement captées : suivant la manière dont l'utilisateur interagit avec son système domotique, sa localisation et son intention peuvent être déduites par inférences logiques, permettant d'aboutir à la proposition de services contextuels. Une évaluation sur les jeux de données de l'appartement Domus permet de montrer l'intérêt d'une telle approche tant pour limiter l'utilisation de capteurs que pour augmenter la sûreté de fonctionnement par redondance d'informations. Une partie de ces travaux est reprise dans le cadre du projet ASIM porté par l'entreprise Vity Technology. La syntaxe concrète (i.e. représentation graphique) du langage de modélisation sera notamment retravaillé dans un but de commercialisation.

On nomme systèmes hybrides les systèmes qui intègrent des comportements continus et discrets. Leur comportement est en partie déterminé par des contraintes temporelles et/ou leur interaction avec un environnement physique via l'utilisation de capteurs et d'actionneurs. Il peut s'agir par exemple d'équipements de contrôle de procédés industriels ou de services domotiques. La validation de ces systèmes est un problème crucial, car ils sont parfois utilisés au sein d'applications où la sûreté de fonctionnement est critique (un système critique est un système dont la défaillance peut entraîner des blessures ou la mort d'êtres humains). Cette validation soulève plusieurs problèmes ; en particulier, une description détaillée du système à valider n'est pas toujours disponible, ou celle-ci est trop complexe pour qu'il soit possible en pratique d'établir avec certitude sa correction (par exemple parce que cette vérification exhaustive nécéssite des ressources en temps ou en matériel trop importantes). Dans ces conditions, nous nous intéressons à la validation de systèmes hybrides spécifiés par un ensemble de propriétés de sûreté. Une propriété de sûreté est une exigence portant sur le comportement du système qui ne contraint pas entièrement ce comportement, mais en spécifie des aspects particuliers. Elle peut ainsi porter sur la réaction attendue du système en réponse à une suite d'événements donnée, ou imposer des limites à l'évolution des grandeurs environnementales qu'il contrôle. Le travail présenté dans ce document consiste en une approche de test fonctionnel, destinée à permettre la validation de systèmes hybrides pour lesquels on dispose d'une spécification composée de propriétés de sûreté. La validation consiste à vérifier que le système satisfait à sa spécification, et donc aux besoins qui motivent sa création (sous réserve que la spécification traduise correctement les besoins). / Hybrid systems posess a continuous and discrete behavior. This behavior is partially determined by temporal constraints, and/or interactions of the system with a physical environment by means of sensors and actuators. Hybrid systems include some industrial plant control software and home automation systems. The validation of hybrid systems is a crucial problem since they may be used in safety critical applications (a safety critical system is a system whose failure may lead to unacceptable financial or human costs). This validation raises several problems; in particular a complete description of the system to be validated is not always available. Its complexity may also prevent establishing the correction of the system with certainty (if for exampl a full proof computation requires too much time or equipment). Therefore we are interested in validating hybrid systems specified by a set of safety properties. A safety property is a requirement that constrains only some aspect of the system behavior and can be fullfilled by several implementations. It may for example specify the expected reaction of the system under specific circumstances or constrain the set of values that a variable is allowed to take. The work presented in this document is a functional testing approach aimed at allowing the validation of hybrid systems for which a specification composed of hybrid safety properties is available. Validation consists in verifying that the system satisfies its specification and therefore the needs that motivated its design (assuming the specification actually matches these needs).