Recherche
Actualité

Soutenance de thèse de Clément Poncelet

Tests de systèmes musicaux interactifs et temps réel basés sur modèles

Thèse de doctorat, réalisée au sein de l’équipe Représentations Musicales - projet MuTant à l’Ircam.

Jeudi 10 novembre, 10h00
Ircam, salle Stravinsky

Résumé

Comment peut-on tester formellement le comportement temporel d’un système musical temps réel ? Ce travail propose une solution fournissant un outil de tests basé sur modèles pour Systèmes Musicaux Interactifs (SMI).

Pendant une performance, les SMIs doivent réagir en temps réel aux signaux audio venant des musiciens tout en suivant les contraintes temporelles d'une partition. Ceci demande au système une forte fiabilité temporelle et une robustesse face aux erreurs pouvant arriver en entrée du système.

Nous présentons ici un nouveau modèle spécifiant le comportement temporel des entrées/sorties d’un système dans un contexte multi-temps. Ce modèle a la particularité d'être automatiquement construit depuis les contraintes temporelles définies dans un document haut niveau appelé partition mixte, et est utilisé dans une application concrète via notre outil de tests. Cet outil réalise formellement des tests en plusieurs étapes soulevant des questions lors des tests d'un SMI : il génère un ensemble pertinent de traces d’entrées temporisées, calcule les bons résultats correspondants et compare ces résultats avec les véritables réactions du système testé.

L’application de notre outil de tests sur Antescofo, un SMI en développement et utilisé en concert, a permis de faire ressortir et de corriger des problèmes temporels validant l’efficacité de notre outil.

Jury

Marielle Stoelinga, Rapporteuse - Twente University, Hollande
Didier Lime, Examinateur - Ecole Centrale de Nantes - IRCCyN, Nantes
David Janin, Examinateur - LaBRI, Bordeaux
Alexandre Donzé, Examinateur - MICS - CentraleSupélec, Paris
Carlos Agon, Examinateur - UPMC - STMS, Ircam,  Paris
Jean-Louis Giavitto, Examinateur  - CNRS - STMS, Ircam, Paris
Emanuelle Encrenaz, Invitée - LIP6 - UPMC, Paris
Florent Jacquemard, Directeur de thèse - Inria - STMS - Ircam, Paris