Speaker
Description
Salle B
L’approche par les modèles tend à prendre une part importante dans les analyses de sureté de fonctionnement afin de répondre à la complexité croissante des systèmes étudiés. Le contexte normatif Ferroviaire demande une grande maitrise des approches afin de répondre aux besoins de certification. L’approche par les modèles n’y est pas encore déployée à grande échelle. L’objectif de cette publication est de présenter un cas pratique d’une modélisation utilisée dans le cadre de la démonstration d’un niveau d’intégrité SIL2 pour une fonction sécuritaire et en modélisant les tests périodiques (tests automatiques ou en maintenance préventive). Elle présentera également les enjeux de l’utilisation de cette méthodologie dans le contexte normatif ferroviaire.
