http://gsc2.cemif.univ-evry.fr/index.php?title=Bibtex:Didier09&action=history&feed=atomBibtex:Didier09 - Historique des versions2024-03-29T01:45:20ZHistorique pour cette page sur le wikiMediaWiki 1.10.0http://gsc2.cemif.univ-evry.fr/index.php?title=Bibtex:Didier09&diff=7226&oldid=prevGi: Nouvelle page : <bibtex> @article{DDK09, author="Jean-Yves Didier and Bachir Djafri and Hanna Klaudel", title=" The MIRELA framework: modeling and analyzing mixed reality applications using time...2009-04-23T19:11:34Z<p>Nouvelle page : <bibtex> @article{DDK09, author="Jean-Yves Didier and Bachir Djafri and Hanna Klaudel", title=" The MIRELA framework: modeling and analyzing mixed reality applications using time...</p>
<p><b>Nouvelle page</b></p><div><bibtex><br />
@article{DDK09,<br />
author="Jean-Yves Didier and Bachir Djafri and Hanna Klaudel",<br />
title=" The MIRELA framework: modeling and analyzing mixed reality applications using timed automata",<br />
journal="Journal of Virtual Reality and Broadcasting",<br />
editor = "Jens Herder and Simon Richir and Indira Thouvenin",<br />
series = "VRIC 2008 (Laval Virtual) Special Issue",<br />
year="2009",<br />
volume="6",<br />
number="1",<br />
month= "February",<br />
pdf = "Didier09.pdf",<br />
url = "http://www.jvrb.org/archiv/1742/",<br />
note="{\tt urn:nbn:de:0009-6-17423,}, ISSN 1860-2037",<br />
abstract = "Mixed Reality (MR) aims to link virtual entities with<br />
the real world and has many applications such as military<br />
and medical ones. In many<br />
MR systems and more precisely in augmented scenes,<br />
one needs the application to render the virtual part accurately<br />
at the right time. To achieve this, such systems<br />
acquire data related to the real world from a set<br />
of sensors before rendering virtual entities. A suitable<br />
system architecture should minimize the delays to<br />
keep the overall system delay (also called end-to-end<br />
latency) within the requirements for real-time performance.<br />
In this context, we propose a compositional<br />
modeling framework for MR software architectures in<br />
order to specify, simulate and validate formally the<br />
time constraints of such systems. Our approach is first<br />
based on a functional decomposition of such systems<br />
into generic components. The obtained elements as<br />
well as their typical interactions give rise to generic<br />
representations in terms of timed automata. A whole<br />
system is then obtained as a composition of such defined<br />
components.<br />
To write specifications, a textual language named<br />
MIRELA (MIxed REality LAnguage) is proposed<br />
along with the corresponding compilation tools. The<br />
generated output contains timed automata in UPPAAL<br />
format for simulation and verification of time constraints.<br />
These automata may also be used to generate<br />
source code skeletons for an implementation on a MR<br />
platform.<br />
The approach is illustrated first on a small example.<br />
A realistic case study is also developed. It is modeled<br />
by several timed automata synchronizing through<br />
channels and including a large number of time constraints.<br />
Both systems have been simulated in UPPAAL<br />
and checked against the required behavioral<br />
properties."<br />
}<br />
</bibtex></div>Gi