RUFEREQ

MéDISIS a été développé durant ces dernières années pour répondre à la problématique suivante : faciliter les études de sûreté de fonctionnement au sein de l’ingénierie système. Nous présenterons donc dans cet article la méthodologie d’analyse de la sûreté de fonctionnement des systèmes complexes, intégrée aux méthodes d’ingénierie système dirigées par les modèles nommée MéDISIS. Nous dégagerons l’apport d’un méta-modèle définissant les informations afférentes à la sûreté de fonctionnement, permettant à travers une base d’information : l’agrégation, la pérennisation et la traçabilité des connaissances des différents intervenants du projet. Ce modèle central est le socle de processus de traduction du modèle système vers les modèles support des études de sûreté de fonctionnement ; Ils constituent les différents processus MéDISIS. Nous appliquons MéDISIS dans le cadre du développement d’un système embarqué critique, que nous présenterons brièvement afin d’illustrer les gains obtenus lors des phases de spécification et conception de ce dernier. Notamment, à travers ce projet industriel, nous insisterons sur les artefacts SysML permettant de préparer, piloter et manager les études de sûreté de fonctionnement.

robin cressent, vincent idasiak, frédéric kratz