Description
Date depot: 1 janvier 1900
Titre: Modélisation, analyse et exécution de systèmes musicaux interactifs
Directeur de thèse:
Jean-Louis GIAVITTO (STMS)
Directeur de thèse:
Florent JACQUEMARD (CEDRIC)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Les système musicaux interactifs, comme les systèmes cyber-physiques (CPS) en général se caractérisent par une prise en compte du temps comme ressource à part entière. Divers paradigmes de programmation temps-réel ont été développés pour traiter ces contraintes temporelles [1]: bounded execution time, synchronous languages, logical execution time. Ces approches reposent sur des techniques couplées de compilation et d’analyse de code offrant des garanties que les programmes seront executables en temps-réel sur la plateforme cible.
Antescofo est un système d'accompagnement automatique de musiciens développé à l'Ircam, qui fonctionne par suivi et execution de partitions augmentées. Ces dernières sont des scénarios temporels complexes d'interaction musicien-machine écrits dans un langage dédié (DSL). Antescofo est intégré dans un logiciel hôte MAX/MSP ou Pure Data auquel sont délégués les traitements audio et l’ordonnancement des tâches de calcul. Des premières expériences ont été conduites en vue du développement d’une version autonome embarquant des librairies audio. Le DSL Antescofo est un langage interprété en temps réel [2]. Différentes procédures d’analyse ainsi qu’une plateforme de test temporisé fondé sur modèles executables ont été développés [4].
L’objectif de cette thèse est l'étude d’une approche compilée, combinée avec des techniques analyse de code, pour un fragment du DSL Antescofo suffisamment expressif pour écrire des applications d’accompagnement automatique. Un prototype sera préparé sur une plateforme monocarte à faibles ressources (de type Raspberry pi) en vue d'utilisation en concert ou installations.
Doctorant.e: Donat-Bouillud Pierre