Skip to Main content Skip to Navigation
New interface
Poster communications

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
IRCAM - Institut de Recherche et Coordination Acoustique/Musique, Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, 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.
Document type :
Poster communications
Complete list of metadata
Contributor : Clément Poncelet Sanchez Connect in order to contact the contributor
Submitted on : Thursday, March 19, 2015 - 5:07:10 PM
Last modification on : Tuesday, March 15, 2022 - 3:22:16 AM
Long-term archiving on: : Monday, April 17, 2017 - 7:22:17 PM


Files produced by the author(s)


  • HAL Id : hal-01133597, version 1


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⟩



Record views


Files downloads