Evaluation de la sécurité des systèmes par les modèles (MBSA) par Star Engineering

Cadre règlementaire
Présentationdes ARP4754A et ARP4761

Guide méthodologique
Pourquoimodéliser
Quandmodéliser
LienMBSE / MBSA

Etude détaillée d'un modèle
Présentationd'un modèle concret
Validationet simulation du modèle
Résultats: apports et limites

Exemples d'application
Dansdes domaines variés (aéronautique, terrestre, naval,...)

Travaux dirigés
LangageAltarica, présentation d'un logiciel graphique
Règlesde modélisation
Constructiondes briques de base (framework)

Travaux pratiques
Applicationà un système depuis des documents descriptifs
Spécification,réalisation, validation du modèle
Travailcollaboratif, gestion de configuration
Analysedes résultats

Conclusion

La complexité grandissante dessystèmes (alliant matériel et logiciel) nécessite une approche d'ingénieriesystème et plus particulièrement une approche sûreté de fonctionnement basée surles modèles, aussi bien pour les industriels que pour les autorités decertification. Le stage présente cette approche dans un cadre aéronautique maisapplicable à tous les domaines (naval, terrestre, spatial, missiles, drones,...).
Le but de cette formation est dedonner aux participants les clés et les bases leur permettant de mettre enplace cette méthodologie outillée au sein de leur programme.
Objectif :
- Mettre en oeuvre de la modélisation dysfonctionnelle afin d'évaluer la sécurité des systèmes : Model Based Safety Assessment (MBSA).