Dans la même collection
























Les chapitres
Test et vérification automatique pour systèmes musicaux interactifs
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.
-
- Label UNT : Unisciel
-
- Date de réalisation : 3 Juillet 2014
- Durée du programme : 35 min
- Classification Dewey : Testing, measurement, verification, Informatique - Traitement des données informatiques
-
- Catégorie : Conférences
- Niveau : niveau Master (LMD), niveau Doctorat (LMD), Recherche
- Disciplines : Informatique, Informatique
- Collections : La demi-heure de science : pourquoi mène t-on des recherches dans ce domaine là ? Inria Paris - Rocquencourt
- ficheLom : Voir la fiche LOM
-
- Auteur(s) : JACQUEMARD Florent
- Editeur : INRIA (Institut national de recherche en informatique et automatique)
-
- Langue : FRA
- Mots-clés : test et vérification automatique, système musical interactif
- Conditions d’utilisation / Copyright : © Inria Paris - Rocquencourt
commentaires
Ajouter un commentaire Lire les commentaires