| Version imprimable |
Ressource documentaire
| Test et vérification automatique pour systèmes musicaux interactifs (en Français) | |||
Droits : © Inria Paris - Rocquencourt Auteur(s) : JACQUEMARD Florent 03-07-2014 Description : 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. Mots-clés libres : test et vérification automatique,système musical interactif | TECHNIQUE Type : image en mouvement Format : video/x-flv Source(s) : rtmpt://fms2.cerimes.fr:80/vod/fuscia/test.et.v.rification.automatique.pour.syst.mes.musicaux.interactifs_17247/test_et_verification_automatique_pour_systemes_musicaux_interactifs_17247.sd.mp4 | ||
Entrepôt d'origine : Canal-u.fr Identifiant : oai:canal-u.fr:17247 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Test et vérification automatique pour systèmes musicaux interactifs (en ) | |||||||
Identifiant de la fiche : 17247 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0 Droits : libre de droits, gratuit Droits réservés à l'éditeur et aux auteurs© Inria Paris - Rocquencourt Auteur(s) : JACQUEMARD FLORENT Éditeur(s) : INRIA (Institut national de recherche en informatique et automatique) 03-07-2014 Description : 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. Mots-clés libres : test et vérification automatique, système musical interactif
| PEDAGOGIQUE Type pédagogique : cours / présentation TECHNIQUE Type de contenu : image en mouvement Format : video/x-flv Taille : 169.68 Mo Durée d'exécution : 34 minutes 33 secondes RELATIONS Cette ressource fait partie de : | ||||||
Entrepôt d'origine : Canal-u.fr Identifiant : oai:canal-u.fr:17247 Type de ressource : Ressource pédagogique | |||||||
| Exporter au format XML |