Paper Info
Title
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.
Year
DOI
Venue
2014
10.1109/ISSRE.2014.33
Software Reliability Engineering
Keywords
Field
DocType
automata theory,concurrency control,virtual reality languages,MIRELA,deadlock feature,hardware deterioration,mixed reality language,mixed reality systems,software timing behaviour,temporal properties analysis,timed automata,virtual information,Mixed reality,deadlocks,temporal properties,timed automata
User assistance,Virtual reality,Computer science,Automaton,Deadlock,Real-time computing,Software,Mixed reality,Rendering (computer graphics),Overlay,Distributed computing
Conference
ISSN
Citations 
PageRank 
1071-9458
2
0.40
References 
Authors
14
4
Name
Order
Citations
PageRank
Raymond Devillers174276.40
Jean-yves Didier27013.14
Hanna Klaudel330036.69
Johan Arcile420.74