Gi: Nouvelle page : @inproceedings {Didier08b , author = {Jean-Yves Didier and Bachir Djafri and Hanna Klaudel }, title = {MIRELA: A Language for Modeling and Analyzi...

2008-03-19T11:30:01Z

Nouvelle page : <bibtex> @inproceedings {Didier08b , author = {Jean-Yves Didier and Bachir Djafri and Hanna Klaudel }, title = {MIRELA: A Language for Modeling and Analyzi...

Nouvelle page

<bibtex>
@inproceedings {Didier08b ,
author = {Jean-Yves Didier and Bachir Djafri and Hanna Klaudel },
title = {MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata },
booktitle = {IEEE Virtual Reality 08},
pages = {249-250},
year = {2008},
editor = {Ming Lin and Anthony Steed and Carolina Cruz-Neira},
address = {Reno, Nevada},
month = {March 8-12},
organization = {IEEE},
abstract = {We propose a compositional modeling framework for Mixed Reality (MR) software architectures in order to express, simulate and
validate formally the time depending properties of such systems. Our approach 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 application is then obtained as a composition of such defined components. To ease writing specifications, we propose a textual language (named MIRELA: MIxed REality LAnguage) along with the corresponding compilation tools. The generated output contains timed automata in UPPAAL format for simulation and verification of time constraints, and which also may be used to generate source code skeletons for an implementation on a MR platform.},
url = {http://gsc2.cemif.univ-evry.fr/Proceedings/VR2008/vr/posters/didier.pdf},
}
</bibtex>

Bibtex:Didier08b - Historique des versions

Gi: Nouvelle page : @inproceedings {Didier08b , author = {Jean-Yves Didier and Bachir Djafri and Hanna Klaudel }, title = {MIRELA: A Language for Modeling and Analyzi...