Speakers
Description
AltaRica 3.0 est un langage de modélisation dédié aux analyses probabilistes de sécurité de systèmes techniques complexes. L’équation « S2ML + GTS = AltaRica 3.0 » est une bonne façon de le présenter. AltaRica 3.0 résulte en effet de la combinaison de S2ML (System Structure Modelling Language), un ensemble de primitives orientées objet et orientées prototype permettant de structurer les modèles avec le cadre mathématique des GTS (Guarded Transition Systems). L’atelier de modélisation AltaRica 3.0 fournit plusieurs outils de traitement de modèles AltaRica 3.0 : un simulateur interactif, un simulateur stochastique, un générateur de séquence critiques ainsi qu’un compilateur vers les systèmes d’équations Booléennes stochastiques, le cadre mathématique sous-jacent aux arbres de défaillance et aux blocs diagrammes de fiabilité. L’objectif de cette communication est de présenter les améliorations que nous avons récemment apportées à ce dernier outil.
