<?xml version="1.0" encoding="UTF-8"?><lom xmlns="http://ltsc.ieee.org/xsd/LOM" xmlns:lomfr="http://www.lom-fr.fr/xsd/LOMFR" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://ltsc.ieee.org/xsd/LOM http://www.lom-fr.fr/xsd/lomfrv1.0/std/lomfr.xsd">
<general>
<identifier>
<catalog>Canal-U_Ocms</catalog>
<entry>17247</entry>
</identifier>
<title><string language="fre"><![CDATA[Test et vérification automatique pour systèmes musicaux interactifs]]></string></title>
<language/>
<description>
<string language="fre"><![CDATA[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.]]></string></description>
<keyword><string language="fre"><![CDATA[test et vérification automatique]]></string></keyword><keyword><string language="fre"><![CDATA[système musical interactif]]></string></keyword>
<lomfr:documentType>
<lomfr:source>LOMFRv1.0</lomfr:source>
<lomfr:value>image en mouvement</lomfr:value>
</lomfr:documentType>
</general><lifeCycle>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:30:15
FN:INRIA (Institut national de recherche en informatique et automatique)
N:INRIA (Institut national de recherche en informatique et automatique);;;;
URL;TYPE=work:http://www.inria.fr/
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2014-07-03</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:30:15
FN:Florent JACQUEMARD
N:JACQUEMARD;Florent;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/jacquemard_florent
ROLE:author
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2014-07-03</dateTime></date>
</contribute>
</lifeCycle>
<metaMetadata>
<metadataSchema>LOMv1.0</metadataSchema>
<metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
<format>video/mp4</format>
<location><![CDATA[https://www.canal-u.tv/video/inria/test_et_verification_automatique_pour_systemes_musicaux_interactifs.17247]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/fuscia/test.et.v.rification.automatique.pour.syst.mes.musicaux.interactifs_17247/test_et_verification_automatique_pour_systemes_musicaux_interactifs_17247.sd.mp4]]></location>
<size>177920347</size>
<duration><duration>PT0H34M33S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>master</value>
</context>
<context>
<source>LOMv1.0</source>
<value>doctorat</value>
</context>
</educational>
<rights>
<cost>
<source>LOMv1.0</source>
<value>no</value>
</cost>
<copyrightAndOtherRestrictions>
<source>LOMv1.0</source>
<value>no</value>
</copyrightAndOtherRestrictions>
<description>
<string language="fre"><![CDATA[Droits réservés à l'éditeur et aux auteurs. 
© Inria Paris - Rocquencourt]]></string>
</description>
</rights>
<relation>
<kind>
<source>LOMv1.0</source>
<value>ispartof</value>
</kind>
<resource>
<identifier>
<catalog>URI</catalog>
<entry>https://www.canal-u.tv/producteurs/inria/rencontres_autour_d_un_sujet_scientifique_unithe_ou_cafe/la_demi_heure_de_science_pourquoi_mene_t_on_des_recherches_dans_ce_domaine_la_inria_paris_rocquencourt</entry>
</identifier>
<description>
<string language="fre"><![CDATA[La demi-heure de science : pourquoi mène t-on des recherches dans ce domaine là ? Inria Paris - Rocquencourt]]></string>
</description>
</resource>
</relation>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre"><![CDATA[Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr]]></string>
</source>
<taxon>
<id/>
<entry>
<string language="fre"/>
</entry>
</taxon>
</taxonPath>
</classification>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>784.192</id>
<entry>
<string language="fre"><![CDATA[Testing, measurement, verification]]></string>
</entry>
</taxon>
</taxonPath>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>004</id>
<entry>
<string language="fre"><![CDATA[Informatique - Traitement des données informatiques]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>