Publication MBSA Lambda Mu 25
Dans le cadre du Lambda Mu 25, la communication « Utilisation du MBSA pour les analyses de sécurité zonales en aéronautique » a été proposée.
Le lien suivant permet de télécharger le logiciel gratuit « Cecilia Reader » ainsi que le modèle support de la communication.
Vous pourrez non seulement explorer et simuler graphiquement le modèle mais aussi avoir accès aux résultats présentés.
NOTA :
• Téléchargez l’archive « Cecilia Reader » (environ 200 Mo).
• Dézippez-la sur votre ordinateur (Windows 10 ou ultérieur).
• Exécutez « Cecilia-Reader.exe ».
• Sélectionnez le fichier « Aircraft_Generic_v2.xml », puis Open.
Pour simuler le modèle :
• Allez dans l’onglet « Projects » dans le bandeau de gauche, puis naviguez vers « Aircraft_Generic », « Comms », « Models », « Conf_01 ». Un double clic sur « 2 » ouvre le modèle.
• Utilisez le feu vert « Start simulation » de la barre d’outils pour lancer une simulation.
• Utilisez les flèches « Up », « Down » et « Down in another view » de la barre d’outils pour naviguer dans le modèle
• Vous pouvez afficher ou masquer les différents calques (bouton « Layers »)
• Vous pouvez déclencher un évènement en faisant un clic droit sur un composant puis « Events » (un clic droit dans le fond blanc affiche tous les évènements compris dans ce niveau et dans les niveaux inférieurs).
• Utilisez le feu rouge de la barre d’outils pour arrêter la simulation.
Pour afficher les résultats :
• Allez dans l’onglet « Projects » dans le bandeau de gauche, puis naviguez vers « Aircraft_Generic », « Comms », « Boolean Equations », « FC2 ». Un double clic sur « 1.0 » ouvre la liste des évènements impliqués dans l’évènement redouté (FC2).
• Menu « MBSA », « Nominal computation », « OK ».
• L’onglet « Info. » vous donne le nombre de coupes à chaque ordre.
• L’onglet « Cuts » vous permet d’afficher les différentes coupes.
- Les coupes d’ordre 1 sont affichées alternativement sur fond gris ou sur fond blanc.
- Les coupes d’ordre 2 sont affichées avec 2 lignes consécutives sur fond gris ou sur fond blanc.
- Les coupes d’ordre 3 sont affichées avec 3 lignes consécutives sur fond gris ou sur fond blanc.
Bibliothèques
Afin de faciliter la tâche de l’utilisateur, deux bibliothèques sont mises à disposition :
Bibliothèque Booléenne
et ses règles de modélisation
Vous pourrez retrouver les éléments et les portes logiques classiques de l’algèbre de Boole et comparer vos résultats à ceux générés depuis un arbre de défaillance.
Si vous avez des remarques (erreur, incohérence, proposition d’amélioration) :
Bibliothèque générique
et ses règles de modélisation
Cette bibliothèque vous permettra de modéliser vos premiers modèles MBSA. C’est celle qui est notamment utilisée dans le cadre de la formation “MBSA pour les pros” (lien vers la page Formations/MBSA). Elle vous servira également de base pour spécifier, si nécessaire, une bibliothèque propre à vos besoins, votre domaine, votre expertise.
Si vous avez des remarques (erreur, incohérence, proposition d’amélioration) :