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

Full description

Saved in:

Bibliographic Details
Published in:	2008 IEEE Virtual Reality Conference pp. 249 - 250
Main Authors:	Didier, Jean-Yves, Djafri, Bachir, Klaudel, Hanna
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.03.2008
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!