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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2008 IEEE Virtual Reality Conference S. 249 - 250
Hauptverfasser:	Didier, Jean-Yves, Djafri, Bachir, Klaudel, Hanna
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.03.2008
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!