MéDISIS, l'intégration des analyses de SdF aux processus d'Ingénierie Systèmes Basée sur les Modèles
Résumé
La complexité des nouveaux systèmes ne cesse de s'accroître, en termes d'intégration de multiples technologies, de nombre de composants, ainsi qu'en termes de performances attendues et en contraintes sécuritaires. De plus, les phases de conception de ces systèmes doivent également garantir la tenue de délais stricts pour un coût maîtrisé. Nous avons développé une méthode 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 montrons l'apport du langage SysML (OMG, 2008) pour l'établissement d'un modèle commun aux différents intervenants du projet, la traçabilité des exigences, et l'automatisation des liens vers les études de sûreté de fonctionnement (David, 2009), (David et al. 2009a), (David et al. 2009b), (David et al. 2010). Nous présentons dans un premier temps, comment extraire des diagrammes SysML fonctionnels, les informations nécessaires aux études de risques et constituer une AMDEC préliminaire servant de base aux études de sûreté de fonctionnement. Pour cela, des règles d'analyse des modèles SysML sont formulées à partir de l'étude de métamodèles et corroborées par le biais d'études de cas industriels. A partir de ces règles, nous proposons une procédure de traitement des modèles SysML pour la génération d'AMDEC préliminaire. Cette procédure fait appel au retour d'expérience géré à travers une base de données des comportements dysfonctionnels. Dans un second temps, nous expliquons la mise en place d'une traduction des modèles SysML vers une description utilisant AltaRica Data Flow, destinée à l'analyse quantitative de la SDF (Rauzy et al. 2008). Organisée en deux étapes, la création des modèles en AltaRica Data Flow, comporte la traduction directe de la partie fonctionnelle depuis des modèles SysML. Puis la partie concernant le comportement dysfonctionnel est ajoutée en exploitant les données recueillies lors de la phase d'AMDEC et gérées à travers notre base de données des comportements dysfonctionnels.