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