Speakers
Description
Cet article expose une méthodologie pour la conception, la validation et la vérification d’un modèle MBSA (Model-Based Safety Analysis), en s’appuyant sur l’outil SimfiaNeo d’Airbus Protect. Nous revenons sur la nécessité pour un industriel aéronautique de mettre en place des processus permettant de renforcer la confiance dans les analyses de sûreté de fonctionnement complexes portées par des modèles à propagation de panne. Au-delà de la méthode, nous nous attardons également sur l’implémentation de cette dernière, et la manière dont l’outil de modélisation permet d’articuler les besoins d’un motoriste comme Safran Aircraft Engines. Un exemple d’une étude de zone vient illustrer les synergies qui peuvent être trouvées entre la méthode et l’outil pour servir les études de sécurité. Enfin, les résultats permettent d’ouvrir sur le travail restant à accomplir dans la mise en place de cette synergie.
