Stratégies de modélisation AltaRica de la propagation de défaillances dans les systèmes dynamiques
Résumé
Le langage AltaRica a été conçu pour faciliter la modélisation de la propagation de défaillances et les analyses de sécurité dans les systèmes complexes. Ainsi, il permet plus particulièrement de modéliser la dynamique fonctionnelle (changement de mode de contrôle, reconfiguration de matériels...) et dysfonctionnelle (cascades de pannes, pannes cachées...) des systèmes.
L’objectif de cette communication est de donner des guides pour exploiter au mieux cette capacité de modélisation de la dynamique. Les guides proposés ont été développés par un panel d’experts safety classique et MBSA (Model Based Safety Assessment) dans le cadre du projet S2C (System & Safety Continuity) des IRTs Saint Exupéry et SystemX. Leur usage a pu aussi être illustré lors de la modélisation AltaRica du système de freinage avion qui a été réalisée pour l’annexe MBSA de l’ED-135 / ARP4761A.
Fichier principal
7B - Stratégies de modélisation AltaRica de la propagation de défaillances dans les systèmes dynamiques.pdf (633.74 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)