Formal Timing Analysis Of Mixed Music Scores - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Formal Timing Analysis Of Mixed Music Scores


Interactive music systems coordinate in real-time an artificial perception of dynamics of human musicians with timely execution of machine reactions. As every human performance will differ from another, it is a challenging task to be able to predict the behavior or such systems in response to any possible performance, and prevent unwanted outcomes. We present here the application of formal models and methods from the real-time systems verification literature to the static analysis of interactive music systems. We consider in particular the good parameters problem, which consists in synthesizing a set of timing parameter valuations (representing performances here) guarantying a good behavior of the system analyzed. The methods presented have been applied to the system Antescofo, and are general enough to apply to other interactive music systems.


Fichier principal
Vignette du fichier
AntescofoIMITATOR.pdf (215.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00829821 , version 1 (03-06-2013)
hal-00829821 , version 2 (12-06-2013)


  • HAL Id : hal-00829821 , version 2


Léa Fanchon, Florent Jacquemard. Formal Timing Analysis Of Mixed Music Scores. 2013 ICMC - International Computer Music Conference, Aug 2013, Perth, Australia. ⟨hal-00829821v2⟩
212 View
196 Download


Gmail Facebook X LinkedIn More