HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Deadlock and temporal properties analysis in mixed reality applications

Abstract : Mixed reality systems overlay real data with virtual information in order to assist users in their current task, they are used in many fields (surgery, maintenance, entertainment). Such systems 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 paper describes how harmful software behaviour, which may result in possible hardware deterioration or revert the system's primary goal from user assistance to user impediment, may be detected such as (global and local) deadlocks or starvation features. This also includes a study of temporal properties resulting in a finer understanding of the software timing behaviour, in order to fix it if needed.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Tuesday, November 12, 2019 - 4:15:12 PM
Last modification on : Tuesday, February 15, 2022 - 11:24:04 AM
Long-term archiving on: : Thursday, February 13, 2020 - 7:11:10 PM


Files produced by the author(s)



Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile,. Deadlock and temporal properties analysis in mixed reality applications. 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014), Nov 2014, Naples, Italy. pp.55--65, ⟨10.1109/ISSRE.2014.33⟩. ⟨hal-01150615⟩



Record views


Files downloads