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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01826656
Contributor : Tatiana Prosvirnova <>
Submitted on : Friday, June 29, 2018 - 4:07:23 PM
Last modification on : Saturday, July 14, 2018 - 1:06:49 AM
Document(s) archivé(s) le : Thursday, September 27, 2018 - 9:01:41 AM

File

Batteux2018-AbstractTimedSeman...
Files produced by the author(s)

Identifiers

  • 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〉

Share

Metrics

Record views

153

Files downloads

76