Évaluation de la sécurité des systèmes par les modèles (MBSA) : Perfectionnement
Cette formation a pour objectif de former les participants à la mise en œuvre de méthodes de modélisation et d’analyses dysfonctionnelle afin d’évaluer la sûreté des systèmes : MBSA (Model Based Safety Assessment).
Le stage dure 4,5 jours (28 heures) et comporte :
- 12 h d’exposés
- 6 h d’étude de cas et d’exemples applicatifs
- 10 h de travaux dirigés et travaux pratiques
Pour industrialiser des systèmes critiques, composés d’éléments matériel et logiciel, il est nécessaire de mener des analyses formelles et d’apporter des éléments de preuve aux autorités de certification quant à la sûreté de fonctionnement de la solution d’architecture proposé.
L’approche d’ingénierie système combinée à la démarche MBSA permet de répondre à ce besoin.
Ce stage présente l’approche MBSA dans un cadre générale et peut se décliner dans tous les domaines industriels (aéronautique, naval, terrestre, spatial, ferroviaire, …).
Le but de cette formation est de donner aux participants les clés et les bases leur permettant de déployer une démarche MBSA outillée au sein de leur programme.
Niveau du stage : Perfectionnement / Spécialisation
Le stage s’adresse à tout architecte système, ingénieur sûreté de fonctionnement ayant à concevoir, analyser ou certifier un système critique et ayant des problématiques de sûreté de fonctionnement.
Bac+4 et plus particulièrement des analyses de sécurité basées sur les modèles.
Il est souhaitable d’avoir quelques connaissances des méthodes d’ingénierie système et des méthodes d’analyses de sécurité.
Anthony LEGENDRE
Ingénieur, expert méthodes MBSE et MBSA.
- Introduction
- Rappel des objectifs
- Tour de table (intervenants et participants)
- Les enjeux du MBSA
- Les méthodes classiques et leurs limites
- Démarche méthodologique et bénéfices de l’approche
- Cadre règlementaire
- Présentation des cadres normatifs (IEC 61508 et normes filles ; ARP 4754 a et ARP 4761)
- Guide méthodologique
- Pourquoi modéliser ?
- Quand modéliser ?
- Lien MBSE / MBSA
- Étude détaillée d’un modèle
- Présentation d’un modèle concret
- Validation et simulation du modèle
- Résultats : apports et limites
- Témoignages d’applications industrielles
- Dans des différents domaines (aéronautique, ferroviaires, énergétique, …)
- Présentation de logiciel industriels (Cecilia, SimfiaNeo, …)
- Etude de cas
- Langage AltaRica 3.0, et exercice pratique
- Règles de bonne pratique en modélisation dysfonctionnelle
- Construction des briques de base (framework)
- Travaux dirigés
- Application à un système depuis des documents descriptifs
- Spécification d’une bibliothèque de composant
- Réalisation d’un modèle à partir de la bibliothèque
- Génération et analyse d’arbres de défaillance
- Simulation stochastique
- Travail collaboratif, gestion de configuration
- Analyse et interprétation des résultats
- Conclusion
- Rappel de la démarche
- Debriefing
Version anglaise programmable à la demande
à Paris: nous consulter (ancienne date : Du 26 au 30 Juin 2023)
2 450 € HT (TVA 20 %) voir conditions générales