Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0

Michel Batteux (1) , Antoine Rauzy (2) , Tatiana Prosvirnova (3, 4)

1 IRT SystemX
2 NTNU - Norwegian University of Science and Technology [Trondheim]
3 CentraleSupélec
4 LGI - Laboratoire Génie Industriel - EA 2606

AltaRica 3.0 is an event-based, object-oriented modeling language dedicated to (probabilistic) safety analyses of complex systems. Several assessment tools have been developed for AltaRica 3.0, including a stepwise simulator. This tool is of a great help for the design and the validation of AltaRica 3.0 models. In this article, we show how the AltaRica 3.0 stepwise simulator has been greatly enhanced by the introduction of an abstract notion of time. This important result paves the way to the design of efficient model-checking algorithms, e.g. generators of sequences of events leading to a failure state.

AltaRica 3.0 est un langage de modélisation événementiel et orienté objet, dédié aux analyses probabilistes du risque de systèmes complexes. Plusieurs outils d'évaluation ont été développés pour AltaRica 3.0, y compris un simulateur pas-à-pas. Cet outil est d'une grande aide pour la conception et la validation des modèles AltaRica 3.0.Dans cet article, nous montrons comment le simulateurpas-à-pas d'AltaRica 3.0 a été grandement renforcée par l'introduction d'une notion d'abstraction du temps. Ce résultat important ouvre la voie vers la conception d'algorithmes efficaces de vérification de modèles, par exemple, pour la conception de générateurs de séquences d'événements menant à un état donné de défaillance.

Domaines: Informatique [cs]; Logiciel mathématique [cs.MS]

Michel Batteux, Antoine Rauzy, Tatiana Prosvirnova. Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0. Congrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France. ⟨hal-02063653⟩