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

作者: 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.

参考文章(67)
Chokchai Leangsuksun, Hertong Song, Lixin Shen, Reliability Modeling Using UML. Software Engineering Research and Practice. pp. 259- 262 ,(2003)
Bruce Powel Douglass, The Harmony Process Real Time UML Workshop for Embedded Systems. pp. 35- 64 ,(2007) , 10.1016/B978-075067906-0/50005-9
R. Bell, IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview Control of Major Accidents and Hazards Directive (COMAH) - Implications for Electrical and Control Engineers (Ref. No. 1999/173), IEE Colloquium. ,(1999)
Chris Price, Mark Lee, Nigel Hughes, Enxi Chou, Automating Mechanical FMEA Using Functional Models the florida ai research society. pp. 394- 398 ,(1999)
Andrea Bondavalli, András Pataricza, István Majzik, Mario Dal Cin, Diego Latella, Giancarlo Savoia, Dependability analysis in the early phases of UML-based system design Computer Systems: Science & Engineering. ,vol. 16, pp. 265- 275 ,(2001)
Somying Thainimit, Scott McDermott, William H. Bares, A Model for Constraint-Based Camera Planning ,(2000)
Sylvain Bonhomme, Méthodologie et outils pour la conception d'un habitat intelligent Institut National Polytechnique de Toulouse - INPT. ,(2008)
Chris Price, AutoSteve: automated electrical design analysis european conference on artificial intelligence. pp. 721- 725 ,(2000)
Raphaël Schoenig, DEFINITION D'UNE METHODOLOGIE DE CONCEPTION DES SYSTEMES MECATRONIQUES SURS DE FONCTIONNEMENT Institut National Polytechnique de Lorraine - INPL. ,(2004)