Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time

Abstract : AltaRica 3.0 is an event-based, object-oriented modeling language dedicated to (probabilistic) safety analyses of complex systems. It makes it possible to design models at higher level than done with formalisms traditionally used for safety analyses (fault trees, Markov Chains, stochastic Petri nets, etc.), without increasing the complexity of calculations of risk indicators. 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. It is the analog for modeling of debuggers for programming. 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. The key mathematical property is that abstract and concrete simulation are bisim-ilar: any concrete (timed, stochastic) execution can be simulated by an abstract execution and reciprocally any abstract execution corresponds to at least one concrete execution. 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.
Type de document :
Communication dans un congrès
Stein Haugen, Anne Barros, Coen van Gulijk, Trond Kongsvik, Jan Erik Vinnem. 28th European Safety and Reliability Conference ESREL (ESREL 2018), Jun 2018, Trondheim, Norway. CRC Press Safety and Reliability – Safe Societies in a Changing World 〈https://www.ntnu.edu/esrel2018〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01826656
Contributeur : Tatiana Prosvirnova <>
Soumis le : vendredi 29 juin 2018 - 16:07:23
Dernière modification le : samedi 14 juillet 2018 - 01:06:49
Document(s) archivé(s) le : jeudi 27 septembre 2018 - 09:01:41

Fichier

Batteux2018-AbstractTimedSeman...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01826656, version 1

Citation

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Enhancement of the AltaRica 3.0 stepwise simulator by introducing an abstract notion of time. Stein Haugen, Anne Barros, Coen van Gulijk, Trond Kongsvik, Jan Erik Vinnem. 28th European Safety and Reliability Conference ESREL (ESREL 2018), Jun 2018, Trondheim, Norway. CRC Press Safety and Reliability – Safe Societies in a Changing World 〈https://www.ntnu.edu/esrel2018〉. 〈hal-01826656〉

Partager

Métriques

Consultations de la notice

129

Téléchargements de fichiers

55