Abstract Executions of Stochastic Discrete Event Systems - IRT SystemX Accéder directement au contenu
Article Dans Une Revue International Journal of Critical Computer-Based Systems Année : 2022

Abstract Executions of Stochastic Discrete Event Systems

Résumé

Stochastic discrete event systems play a steadily increasing role in reliability engineering and beyond in systems engineering. Designing stochastic discrete event systems presents however well-known difficulties: models are hard to debug and to validate because of the existence of infinitely many possible executions, itself due to stochastic delays, which are possibly intertwined with deterministic ones. In this article, revisiting ideas introduced in the framework of model-checking of timed and hybrid systems, we show that it is possible to abstract the time in stochastic discrete event systems. More specifically, we show that schedules of transitions can be abstracted into systems of linear inequalities and that abstract and concrete executions are bisimilar. The result presented in this article represents thus a very important step forward in quality assurance of stochastic models of complex technical systems. We illustrate the potential of the proposed approach by means of AltaRica 3.0 models.
Fichier principal
Vignette du fichier
DTIS22304.1697017617 (1).pdf (919.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03791998 , version 1 (24-10-2023)

Identifiants

Citer

Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. Abstract Executions of Stochastic Discrete Event Systems. International Journal of Critical Computer-Based Systems, 2022, 10 (3), pp.202-226. ⟨10.1504/IJCCBS.2022.121363⟩. ⟨hal-03791998⟩
39 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More