MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata

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 obtain...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2008 IEEE Virtual Reality Conference s. 249 - 250
Hlavní autoři:	Didier, Jean-Yves, Djafri, Bachir, Klaudel, Hanna
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.03.2008
Témata:	Application software Automata Computational modeling Computer graphics Computer simulation D.2.4 [Software Engineering]: Software/Program Verification-Model checking formal analysis Haptic interfaces Hardware I.3.7 [Computer Graphics]: Three-Dimensional Graphics and Realism-Virtual reality I.6.2 [Simulation and Modeling]: Simulation Languages Mixed reality systems modeling Software architecture time constraints Time factors timed automata Virtual reality
ISBN:	9781424419715, 1424419719
ISSN:	1087-8270
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!