Modeling and analyzing mixed reality applications using timed automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Modeling and analyzing mixed reality applications using timed automata

Résumé

We propose a compositional modeling framework for Mixed Reality (MR) software architectures in order to express, simulate and validate formally the real-time 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. The approach is illustrated on a case study modeled by timed automata synchronizing through channels and including a large number of time constraints. This system has been simulated in UPPAAL and checked against basic behavioral properties.
Fichier non déposé

Dates et versions

hal-00339453 , version 1 (18-11-2008)

Identifiants

  • HAL Id : hal-00339453 , version 1

Citer

Jean-Yves Didier, Bachir Djafri, Hanna Klaudel. Modeling and analyzing mixed reality applications using timed automata. First Mediterranean Conference on Intelligent Systems and Automation (CISA'08), Jun 2008, Annaba, Algeria. pp.173--178. ⟨hal-00339453⟩
64 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More