Speakers
Description
AltaRica Wizard est un environnement de modélisation intégré dédié aux analyses probabilistes de risque et de sécurité des systèmes techniques complexes. La nouvelle version d’AltaRica Wizard prend en charge deux langages de modélisation : AltaRica 3.0 et S2ML+SBE. Les deux langages appartiennent à la famille S2ML+X : S2ML signifie langage de modélisation de structure des systèmes (‘System Structure Modeling Language’ en anglais), c'est-à-dire un ensemble complet de constructions génériques orientées objet à classes et à prototypes pour structurer les modèles ; X représente tout cadre mathématique adapté pour décrire le comportement (stochastique) des systèmes. Dans S2ML+SBE, SBE signifie systèmes d'équations booléennes stochastiques (systems of Stochastic Boolean Equations), qui constituent le cadre mathématique sous-jacent des formalismes de modélisation populaires tels que les arbres de défaillances et les schémas bloc de fiabilité. S2ML+SBE généralise ces deux formalismes, sans introduire de complexité supplémentaire dans la création de modèles et le calcul des indicateurs de sécurité qualitatifs et quantitatifs. L'objectif de cet article est de présenter AltaRica Wizard, en tant qu'environnement de modélisation intégré pour l'évaluation de systèmes d'équations booléennes (stochastiques). Cela inclut l'éditeur pour créer les modèles S2ML+SBE, le compilateur d'équations booléennes (arbres de défaillance) et l'intégration du moteur de calcul XFTA.
