<?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>48989</entry>
</identifier>
<title><string language="fre"><![CDATA[Ordonnancement pour systèmes temps réel : conception et vérification]]></string></title>
<language>FRE</language>
<description>
<string language="fre"><![CDATA[Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des contraintes temps réel. Pour de tels systèmes, il faut concevoir et vérifier des techniques d'arbitrage de l'utilisation des ressources (processeurs, bus, mémoires, etc.) entre les différentes opérations à effectuer en concurrence (calcul, communication, etc.). 
C'est l'objet de l'ordonnancement temps réel, et nous donnerons un aperçu des problèmes de recherche actuels en lien avec l'évolution des besoins dans l'industrie.]]></string></description>
<keyword><string language="fre"><![CDATA[temps réel]]></string></keyword><keyword><string language="fre"><![CDATA[système embarqué]]></string></keyword><keyword><string language="fre"><![CDATA[ordonnancement temps réel]]></string></keyword><keyword><string language="fre"><![CDATA[vérification système embarqué]]></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:34:17
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>2019-02-13</dateTime></date>
</contribute>
<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:34:17
FN:Académie de Grenoble
N:Académie de Grenoble;;;;
URL;TYPE=work:Académie de Grenoble
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2019-02-13</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:34:17
FN:Sophie QUINTON
N:QUINTON;Sophie;;;
URL;TYPE=work:https://team.inria.fr/spades/quinton/
ROLE:author
NOTE:Sophie Quinton est chargée de recherche à Inria Grenoble Rhône-Alpes depuis 2013. Elle a préparé sa thèse de doctorat à Verimag (Grenoble) puis passé près de trois ans en postdoctorat à TU Braunschweig (Allemagne). Ses travaux de recherche concernent les méthodes formelles pour la conception et la vérification de systèmes embarqués, et plus particulièrement les aspects temps-réel. &nbsp; 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2019-02-13</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/ordonnancement_pour_systemes_temps_reel_conception_et_verification.48989]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/fuscia/ordonnancement.pour.syst.mes.temps.reel.conception.et.verification_48989/04_sophie_quinton_h264_10mbits.mp4]]></location>
<size>2376791531</size>
<duration><duration>PT0H30M42S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>formation continue</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. 
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)]]></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/science_info_lycee_profs_conferences_de_formation_des_professeurs_du_secondaire_en_science_informatique</entry>
</identifier>
<description>
<string language="fre"><![CDATA[Science Info Lycée Profs : conférences de formation des professeurs du secondaire en science informatique.]]></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>006.22</id>
<entry>
<string language="fre"><![CDATA[système embarqué]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>