Introduction d'une notion de temps abstrait pour la simulation des modèles AltaRica 3.0
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)