<?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>1106</entry>
</identifier>
<title><string language="fre"><![CDATA[Le logiciel, objet de notre quotidien]]></string></title>
<language>FRE</language>
<description>
<string language="fre"><![CDATA[Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, et maintenant les objets du quotidien, du téléphone au stimulateur cardiaque en passant par tout l'audiovisuel, les jeux, et bien sûr Internet. On assiste en fait à la mise en place d'un nouveau système nerveux logiciel, avec lequel nous sommes sans cesse en contact. Or, le logiciel reste un objet mystérieux pour la plupart des gens. Il est purement immatériel, ne se voit pas, ne pèse rien. Pourtant, il produit des tas d'ennuis allant de l'inconfort des interfaces homme-machine mal conçus aux problèmes de sécurité des réseaux en passant par des crashs catastrophiques de fusées ou de satellites. La qualité du logiciel devient un des points faibles de notre société. Pour les spécialistes, ce n'est pas étonnant. Le logiciel est un objet purement intellectuel d'une très grande complexité, qui ne se laisse pas appréhender pas des approches naïves. Un logiciel est formé de millions d'ordres élémentaires à une machine ultra-rapide et quasi-infaillible mais parfaitement stupide, le microprocesseur. De minuscules erreurs peuvent avoir de grandes conséquences et on ne sait pas encore se protéger. Nous essaierons de mieux faire comprendre la nature profonde de l'objet logiciel, et nous présenterons les approches scientifiques modernes qui permettront de construire des logiciels plus sûrs et d'en assurer la correction.]]></string></description>
<keyword><string language="fre"><![CDATA[microélectronique]]></string></keyword><keyword><string language="fre"><![CDATA[bug]]></string></keyword><keyword><string language="fre"><![CDATA[circuit intégré]]></string></keyword><keyword><string language="fre"><![CDATA[microprocesseur]]></string></keyword><keyword><string language="fre"><![CDATA[algorithmique]]></string></keyword><keyword><string language="fre"><![CDATA[langage de programmation]]></string></keyword><keyword><string language="fre"><![CDATA[logiciel informatique]]></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>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:29:33
FN:Gérard BERRY
N:BERRY;Gérard;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/berry_gerard
ROLE:author
NOTE:Ancien élève de l'École Polytechnique, Gérard Berry a été chercheur à l'École Nationale Supérieure des Mines de Paris et à l'INRIA de 1970 à 2001, puis Directeur scientifique d'Esterel Technologies de 2001 à 2009, il est aujourd'hui directeur de recherche à l’INRIA et président de la Commission d’évaluation de la recherche de cet institut. Membre de l'Académie des sciences et de l'Académie des technologies, également professeur au Collège de France, sa contribution scientifique concerne la modélisation du calcul, la programmation parallèle et temps réel, ainsi que la conception et la vérification formelles de circuits intégrés. Il est le créateur du langage de programmation EstereL. 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2000-09-10</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>publisher</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:29:33
FN:Mission 2000 en France
N:Mission 2000 en France;;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/mission_2000_en_france
ROLE:publisher
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2000-09-10</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:29:33
FN:Mission 2000 en France
N:Mission 2000 en France;;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/mission_2000_en_france
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2000-09-10</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/universite_de_tous_les_savoirs/le_logiciel_objet_de_notre_quotidien.1106]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/utls/le.logiciel.objet.de.notre.quotidien_1106/90254_gerardberry_sd.mp4]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/utls/le.logiciel.objet.de.notre.quotidien_1106/90254_gerardberry_bd.mp4]]></location>
<size>328668325</size>
<duration><duration>PT1H11M46S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>higher education</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. 
]]></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/universite_de_tous_les_savoirs/les_conferences_de_l_annee_2000/l_homme_et_l_informatique_machines_connexions_et_agents</entry>
</identifier>
<description>
<string language="fre"><![CDATA[L'homme et l'informatique : machines, connexions et agents]]></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>005.3</id>
<entry>
<string language="fre"><![CDATA[Programmes]]></string>
</entry>
</taxon>
</taxonPath>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>005.1</id>
<entry>
<string language="fre"><![CDATA[Programmation]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>