Contribution à l'analyse de sûreté de fonctionnement des systèmes complexes en phase de conception : application à l'évaluation des missions d'un réseau de capteurs de présence humaine

La complexite des nouveaux systemes ne cesse de grandir, en terme d’integration de multiples technologies, de nombre de composants, ainsi qu’en terme de performances attendues. De plus, leur phase de conception doit egalement garantir la tenue de delais stricts pour un cout maitrise. Beaucoup de ces systemes doivent notamment fournir des performances elevees en terme de Surete de Fonctionnement (SdF). Les analyses de SdF a mener dans ces cas doivent concilier temps et qualite d’etude, etre realisees a des niveaux de description parfois peu eleves et etre capables de traiter de multiples technologies. C’est pourquoi nous avons cherche durant cette these a decrire une methode d’analyse de la SdF des systemes complexes, integree aux methodes d’Ingenierie Systeme (IS) utilisees, que nous avons nomme MeDISIS. Les travaux de cette these s’attachent donc a rendre plus efficaces les analyses de SdF au cours du processus d’IS, en creant des outils et methodes integres aux outils actuels de conception et proposant un support efficace pour les etudes SdF. Les methodes d’Ingenierie Systeme Basee sur les Modeles sont les plus efficaces pour la creation de tels systemes. Nous placons donc ces travaux dans un referentiel utilisant un modele central, que nous supposons ecrit en SysML. Nous avons alors approfondi 3 axes de recherches : Utiliser le langage SysML comme point d’ancrage du processus d’IS integrant les analyses de SdF, Extraire des diagrammes SysML fonctionnels les informations necessaires aux etudes de risques et Exploiter les representations SysML pour les etudes formelles de SdF. Dans ce contexte, nous illustrons l’emploi de MeDISIS sur la problematique du projet CAPTHOM, dont l’objectif est de bâtir une solution innovante pour la detection de presence humaine. Cette recherche nous conduit a la realisation d’un simulateur de reseau de capteurs capable d’evaluer la reponse a des scenarios de stimulation et d’optimiser le placement des capteurs.