Authoring and automatic verification of interactive multimedia scores

Jaime Arias 1, 2, 3, 4 Jean-Michaël Celerier 2, 3, 4, 5 Myriam Desainte-Catherine 1, 2, 3, 4
1 Inria - Institut National de Recherche en Informatique et en Automatique
2 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
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique
4 UB - Université de Bordeaux
5 Blue Yeti [St Georges de Didonne]
Abstract : The advances in authoring of interactive scores call for a thorough analysis of the written scores. A possible way to ensure correctness of an interactive score is through the use of formal techniques such as model checking. In this work, we present a visual model of the inter-media sequencer i-score and we propose a Timed Automata encoding to reason about the interactive scores written in this software. The verification of some properties of interactive scores is presented, along an evaluation of the performance of the model-checking process with uppaal.
Keywords : Interactive scores Model checking Timed automata UPPAAL Model Checker interactive multimedia scenarios
Type de document :
Article dans une revue
Journal of New Music Research, Taylor & Francis (Routledge), 2016, pp.1 - 19. 〈10.1080/09298215.2016.1248444〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-01399925
Contributeur : Arias Jaime <>
Soumis le : lundi 21 novembre 2016 - 10:51:29
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : mardi 21 mars 2017 - 14:24:26

Fichier

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

Identifiants

Collections

INRIA-BORDEAUX | UNIV-BORDEAUX | LABRI | INRIA

Citation

Jaime Arias, Jean-Michaël Celerier, Myriam Desainte-Catherine. Authoring and automatic verification of interactive multimedia scores. Journal of New Music Research, Taylor & Francis (Routledge), 2016, pp.1 - 19. 〈10.1080/09298215.2016.1248444〉. 〈hal-01399925〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

244

Téléchargements de fichiers

108

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD