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 ...