Sites Inria

English version

Conférence scientifique

Test et vérification automatique pour systèmes musicaux interactifs

La demi-heure de science est ouverte au plus grand nombre. Venez nombreux !

  • Date : 3/07/2014
  • Lieu : Inria Rocquencourt, bâtiment 1, amphi J-L. Lions
  • Intervenant(s) : Florent Jacquemard (MUTANT)

La demi-heure de science a lieu tous les mois, à partir de 11h, dans l’amphithéâtre Jacques-Louis Lions au bâtiment 1. Un café vous y accueille dès 10h45.
Cette demi-heure a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s’y rapportent afin de répondre à la question  « pourquoi mène-t-on des recherches dans ce domaine-là ?».

Prochain rendez-vous le jeudi 3 juillet à 11h

Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une « partition augmentée » écrite dans un langage spécialisé qui décrit en particulier des aspects temporels, des stratégies de synchronisation musicien/machine, des procedures de rattrapage d’erreurs...

Afin de s'assurer d'un niveau de fiabilité suffisant pour l'utilisation lors d’un concert public, un important travail préparatoire est nécessaire, à l’instar des répétitions entre musiciens. Le niveau d’adaptabilité d’une machine restant bien sûr considérablement inférieur à celui d’un musicien, ces « répétitions » doivent prendre un caractère systématique et exhaustif, ce qui demande un traitement automatique.

Nous verrons comment des méthodes formelles pour la vérification ou le test de systèmes embarqués peuvent être appliquées dans ce cadre, se basant sur des modèles formels de partitions augmentées.

Localisation

Mots-clés : Conférence scientifique Demi-heure de science Vérification automatique Systèmes musicaux interactifs

Haut de page

Suivez Inria