Test methods for Score-Based Interactive Music Systems Toward a formal Specification

Clément Poncelet 1, 2 Florent Jacquemard 2, 1
1 MuTant - Synchronous Realtime Processing and Programming of Music Signals
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, CNRS - Centre National de la Recherche Scientifique
2 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
Abstract : Time Line How be sure of a Score-Based Interactive Music System's behavior during shows ? Ensuring a " guarantee " on the behavior of a complex real-time system is not trivial and requires formal method. Today, Antescofo's behavior is " manually " checked by the compositor during rehearsals. Since rehearsal performances represent just a few set of all possible interpretations of a score, this method is not rigorous. The poster depicts another rigorous method.
Type de document :
Poster
ICMC/SMC 2014, Sep 2014, Athène, Greece
Liste complète des métadonnées

https://hal.inria.fr/hal-01133597
Contributeur : Clément Poncelet Sanchez <>
Soumis le : jeudi 19 mars 2015 - 17:07:10
Dernière modification le : jeudi 22 novembre 2018 - 14:21:43
Document(s) archivé(s) le : lundi 17 avril 2017 - 19:22:17

Fichier

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

Identifiants

  • HAL Id : hal-01133597, version 1

Citation

Clément Poncelet, Florent Jacquemard. Test methods for Score-Based Interactive Music Systems Toward a formal Specification. ICMC/SMC 2014, Sep 2014, Athène, Greece. 〈hal-01133597〉

Partager

Métriques

Consultations de la notice

180

Téléchargements de fichiers

66