EVALUATION DE LA SECURITE DES SYSTEMES PAR LES MODELES (MBSA)

 

PRÉSENTATION

La complexité grandissante des systèmes (alliant matériel et logiciel) nécessite une approche d’ingénierie système et plus particulièrement une approche sûreté de fonctionnement basée sur les modèles, aussi bien pour les industriels que pour les autorités de certification. Le stage présente cette approche dans un cadre aéronautique mais applicable à tous les domaines (naval, terrestre, spatial, missiles, drones,…).

Le but de cette formation est de donner aux participants les clés et les bases leur permettant de mettre en place cette méthodologie outillée au sein de leur programme.

 

PUBLIC CONCERNE & PREREQUIS

Le stage s’adresse à tout ingénieur voulant se perfectionner ou se spécialiser dans une approche de la sûreté de fonctionnement et plus particulièrement des analyses de sécurité basée sur les modèles.

Il est souhaitable d’avoir connaissance de quelques méthodes d’ingénierie système et d’analyses de sécurité.

 

OBJECTIFS

Cet objectifs sera mis en œuvre en fonction du prérequis recueilli par questionnaire auprès des demandeurs

• Mettre en œuvre de la modélisation dysfonctionnelle afin d’évaluer la sécurité des systèmes : Model Based Safety Assessment (MBSA).

 

CONTENU

Cadre règlementaire

Présentation des ARP4754A et ARP4761

 

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

 

Exemples d’application

Dans des domaines variés (aéronautique, terrestre, naval,…)

 

Travaux dirigés

Langage Altarica, présentation d’un logiciel graphique

Règles de modélisation

Construction des briques de base (framework)

 

Travaux pratiques

Application à un système depuis des documents descriptifs

Spécification, réalisation, validation du modèle

Travail collaboratif, gestion de configuration

Analyse des résultats

 

Conclusion