Name
Title | ||
|---|---|---|
The MIRELA framework: modeling and analyzing mixed reality applications using timed automata |
Abstract | ||
|---|---|---|
Mixed Reality (MR) aims to link virtual entities with the real world and has many applications such as mili- tary and medical ones. In many MR systems and more precisely in aug- mented scenes, one needs the application to render the virtual part accurately at the right time. To achieve this, such systems acquire data related to the real world from a set of sensors before rendering virtual entities. A suitable system architecture should minimize the de- lays to keep the overall system delay (also called end- to-end latency) within the requirements for real-time performance. In this context, we propose a compo- sitional modeling framework for MR software archi- tectures in order to specify, simulate and validate for- mally the time constraints of such systems. Our ap- proach is first based on a functional decomposition of such systems into generic components. The obtained elements as well as their typical interactions give rise to generic representations in terms of timed automata. A whole system is then obtained as a composition of such defined components. To write specifications, a textual language named |
Year | Venue | Keywords |
|---|---|---|
2009 | JVRB | properties. keywords: mixed reality systems modeling,timed automata,real- time,simulation,formal analysis,model-checking.,real time,system modeling,system architecture,simulation model,mixed reality,functional decomposition |
Field | DocType | Volume |
Model checking,Source code,Computer science,Functional decomposition,Automaton,Theoretical computer science,Software,Mixed reality,Systems architecture,Rendering (computer graphics) | Journal | 6 |
Citations | PageRank | References |
4 | 0.48 | 9 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jean-yves Didier | 1 | 70 | 13.14 |
| Bachir Djafri | 2 | 4 | 0.48 |
| Hanna Klaudel | 3 | 300 | 36.69 |