 |
Urgences scientifiques posées par l'industrie : masquages d'horloges, circuits multi-horloges, ECOs et vérification formelle (cycle de cours et séminaires du collège de France en extérieur) 3/3 | |
| Auteur(s) : BERRY GÉRARD
29-01-2014
Éditeur(s) : INRIA (Institut national de recherche en informatique et automatique) , Région PACA ; Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique); Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le cours du 29 janvier nous fera revenir à la science à travers trois problèmes scientifiques durs posés pour Esterel par les utilisateurs industriels et dont la solution était vitale pour eux, ce qui la rendait tout aussi vitale pour Esterel Technologies le traitement de la causalité, difficulté intrinsèque des langages synchrones dont la solution a été trouvée dans une relation surprenante entre logique et électricité, le traitement des circuits multi-horloges maintenant universels en électronique, et enfin le délciat traitement formel des ECO (Engineering Change Order), demandes de corrections de bugs d'un circuit sans toucher à son code source. Ces problèmes sont souvent bien différents de ceux que se posent spontanément les chercheurs, mais tout aussi scientifiques, tout aussi intéressants, et pas moins difficiles. Chaque cours sera suivi d'un séminaire. Mots-clés libres : synchronisation, systèmes temps-réels Classification générale : Informatique Art de l'ingénieur, Mécanique, Matériaux, Electrotechnique, Electronique, Télécommunications, Génie civil, Environnement, Aéronautique, Moteurs, Astronautique Accès à la ressource : http://www.canal-u.tv/video/inria/urgences_scienti... rtmpt://fms2.cerimes.fr:80/vod/fuscia/esterel.et.s... http://www.canal-u.tv/video/inria/dl.1/urgences_sc... Conditions d'utilisation : Droits réservés à l'éditeur et aux auteurs. | DONNEES PEDAGOGIQUES Type pédagogique : cours / présentation Niveau : master, doctorat DONNEES TECHNIQUES Format : video/x-flv Taille : 570.63 Mo Durée d'exécution : 54 minutes 22 secondes |
| Exporter au format XML |