Notice
Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
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.
Avec les mêmes intervenants et intervenantes
-
Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du …
BerryGérardPour 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
-
Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminair…
BerryGérardPour 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
-
Pour quoi tu cherches ? : pourquoi et comment notre monde est devenu numérique
BerryGérardViévilleThierrySoyezJuliaTonnelierMarieLamoucheBenoitCaillièreMathieuAigouyPhilippeUn court métrage «docu-fiction» pour découvrir ces grands personnages de l’Informatique et des Sciences du Numérique et partager quelques unes de leurs grandes idées... « Notre monde a changé... Notre
-
Expériences personnelles dans l’enseignement de l’informatique et du monde numérique
BerryGérardL'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus
Sur le même thème
-
Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminair…
BerryGérardPour 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
-
Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2)
MoyMatthieuLa complexité grandissante des circuits intégrés modernes a donné lieu à de nouveaux types de circuits, qu'on appelle "systèmes sur puces". Il n'est aujourd'hui plus possible d'attendre les premiers
-
Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du …
BerryGérardPour 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
-
h-Jubilé André Calas - Olivier Bosler
BoslerOlivierDescription à venir Voir les autres programmes du jubilé André Calas : a-Jubilé André Calas - présentation b-Jubilé André Calas - Andrée
-
IPM 2007 - La mutation de la pédagogie numérique : expérience de Paris-6
HasbounDominiqueLe numérus clausus augmente , les établissements fusionnent, ce qui pause des problèmes d'organisation de groupe. Il a fallu synchroniser 4 salles pour accueillir plus de 1000 étudiants en présentiel.