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.
Document type :
Poster communications
Complete list of metadatas

https://hal.inria.fr/hal-01133597
Contributor : Clément Poncelet Sanchez <>
Submitted on : Thursday, March 19, 2015 - 5:07:10 PM
Last modification on : Thursday, March 21, 2019 - 2:41:06 PM
Long-term archiving on : Monday, April 17, 2017 - 7:22:17 PM

File

Test_methods_poster_v1.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

202

Files downloads

74