Indefinite waitings in MIRELA systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Indefinite waitings in MIRELA systems

Résumé

MIRELA is a high-level language and a rapid prototyping framework dedicated to systems where virtual and digital objects coexist in the same environment and interact in real time. Its semantics is given in the form of networks of timed automata, which can be checked using symbolic methods. This paper shows how to detect various kinds of indefinite waitings in the components of such systems. The method is experimented using the PRISM model checker.
Fichier principal
Vignette du fichier
ESSS2015.pdf (228.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01230054 , version 1 (12-11-2019)

Identifiants

Citer

Johan Arcile,, Jean-Yves Didier, Hanna Klaudel, Raymond Devillers, Artur Rataj. Indefinite waitings in MIRELA systems. 4th International Workshop on Engineering Safety and Security Systems (ESSS 2015), Jun 2015, Oslo, Norway. pp.5--18, ⟨10.4204/EPTCS.184.1⟩. ⟨hal-01230054⟩
58 Consultations
69 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More