Formal Timing Analysis of Mixed Music Scores

Léa Fanchon 1, 2 Florent Jacquemard 1, 2
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
Abstract : 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.
Type de document :
Rapport
[Research Report] 2013, pp.10
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00797595
Contributeur : Florent Jacquemard <>
Soumis le : mercredi 6 mars 2013 - 16:37:12
Dernière modification le : mardi 17 avril 2018 - 11:32:08
Document(s) archivé(s) le : dimanche 2 avril 2017 - 09:52:15

Fichier

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

Identifiants

  • HAL Id : hal-00797595, version 1

Collections

Citation

Léa Fanchon, Florent Jacquemard. Formal Timing Analysis of Mixed Music Scores. [Research Report] 2013, pp.10. 〈hal-00797595〉

Partager

Métriques

Consultations de la notice

267

Téléchargements de fichiers

286