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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02063653
Contributor : Ali Aljarf <>
Submitted on : Monday, March 11, 2019 - 1:17:21 PM
Last modification on : Tuesday, February 4, 2020 - 1:32:38 AM

File

lm21_com_1C_3_125_Prosvirnova....
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02063653, version 1

Citation

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⟩

Share

Metrics

Record views

31

Files downloads

34