Modelling and Analysing Mixed Reality Applications

Abstract : Mixed reality systems overlay real data with virtual information in order to assist users in their current task. They generally combine several hardware components operating at different time scales, and software that has to cope with these timing constraints. MIRELA, for MIxed REality LAnguage, is a framework aimed at modelling, analysing and implementing systems composed of sensors, processing units, shared memories and rendering loops, communicating in a well-defined manner and submitted to timing constraints. The framework is composed of (i) a language allowing a high level, and partially abstract, specification of a concurrent real–time system, (ii) the corresponding semantics, which defines the translation of the system to concrete networks of timed automata, (iii) a methodology for analysing various real-time properties, and (iv) an implementation strategy. We present here a summary of several of our papers about this framework, as well as some recent extensions concerning probability and non–deterministic choices.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01230033
Contributor : Frédéric Davesne <>
Submitted on : Thursday, November 14, 2019 - 4:39:08 PM
Last modification on : Thursday, November 14, 2019 - 4:40:51 PM
Long-term archiving on: Saturday, February 15, 2020 - 1:11:42 PM

File

invited-final.pdf
Files produced by the author(s)

Identifiers

Citation

Johan Arcile, Tadeusz Czachórski, Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, et al.. Modelling and Analysing Mixed Reality Applications. 4th International Conference on Man–Machine Interactions (ICMMI 2015), Oct 2015, Kocierz Pass, Poland. pp.3--17, ⟨10.1007/978-3-319-23437-3_1⟩. ⟨hal-01230033⟩

Share

Metrics

Record views

259

Files downloads

42