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
Inria Bordeaux - Sud-Ouest, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, LaBRI - Laboratoire Bordelais de Recherche en Informatique
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.
Liste complète des métadonnées

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01136252
Contributor : Arias Jaime <>
Submitted on : Tuesday, September 22, 2015 - 3:02:46 PM
Last modification on : Tuesday, May 29, 2018 - 9:14:04 AM
Document(s) archivé(s) le : Tuesday, December 29, 2015 - 9:20:18 AM

File

article.pdf
Files produced by the author(s)

Identifiers

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〉

Share

Metrics

Record views

298

Files downloads

135