 |
Free and accessible knowledge |
Conference papers
Indefinite waitings in MIRELA systems
Abstract : 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.
Cited literature [24 references]
https://hal.archives-ouvertes.fr/hal-01230054
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Tuesday, November 12, 2019 - 4:18:47 PM
Last modification on : Tuesday, February 15, 2022 - 11:24:03 AM
Long-term archiving on: : Thursday, February 13, 2020 - 7:16:23 PM
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Tuesday, November 12, 2019 - 4:18:47 PM
Last modification on : Tuesday, February 15, 2022 - 11:24:03 AM
Long-term archiving on: : Thursday, February 13, 2020 - 7:16:23 PM
File
ESSS2015.pdf
Files produced by the author(s)