A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios

Jaime Arias 1, 2 Myriam Desainte-Catherine 2, 1 Camilo Rueda 3
1 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Abstract : Interactive Scores (IS) is a formalism for composing and performing interactive multimedia scenarios. In IS, the composer defines temporal relations (TRs) between temporal objects (TOs) in order to specify the temporal organization of the scenario. During execution, the performer may trigger interaction points to modify the star/stop times of TOs, while the system guarantees that all the TRs are satisfied. IS is implemented in the tool I-SCORE and its semantics is formally defined as a Hierarchical Time Stream Petri Net (HTSPN). However, this model is not able to represent branching behaviors that are necessary to properly deal with applications such as video games and museum installations. Moreover, HTSPN does not provide tools for the automatic verification of critical properties of scenarios. In this work we define a semantics for IS based on Timed Automata (TA) and we show that such model yields to a complete framework to compose, verify and execute interactive scenarios. More precisely, we show that: 1) our model is able to deal with conditional statements in IS; 2) efficient verification techniques can be now used to reason about the written scenarios; and 3) our model allows for a directly implementation on a reconfigurable device, thus guaranteeing a real-time performance.
Type de document :
Communication dans un congrès
15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. 〈10.1109/ACSD.2015.8〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01136252
Contributeur : Arias Jaime <>
Soumis le : mardi 22 septembre 2015 - 15:02:46
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : mardi 29 décembre 2015 - 09:20:18

Fichier

article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda. A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. 15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. 〈10.1109/ACSD.2015.8〉. 〈hal-01136252〉

Partager

Métriques

Consultations de la notice

290

Téléchargements de fichiers

119