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!
Description
Summary: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.
ISBN:9781424419715
1424419719
ISSN:1087-8270
DOI:10.1109/VR.2008.4480785