Modélisation des systèmes cyber-physiques : Cas d'un Pacemaker

Abstract

L’objectif visé par ce projet de fin étude est l étude et la modélisation des systèmes cyber-physiques. Le cas d'étude retenu est le pacemaker qui est un dispositif électronique implanté dans le coeur d’un patient souffrant de bradycardie ou à l’inverse de tachycardie. Les outils utilisés dans la phase de mise en oeuvre sont : Dia et Atom3. Mots clés : Systèmes Cyber-physiques, Modélisation, AToM3, Dia,Mda, Idm, Modèle ,Méta_modèle, Méta_méta modèle