Les trois cours donnés à Sophia Antipolis seront 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 premier présentera le point de vue de la recherche publique et le deuxième celui des industriels fournisseurs et clients, le troisième étant consacré à des problèmes scientifiques difficiles posés par l'industrie.
Voici le programme de ces trois cours exceptionnels de Gérard Berry, titulaire de la chaire d’Algorithmes machines et langages, cours donnés au centre Inria Sophia Antipolis – Méditerranée, Amphithéâtre Morgenstern - Bât. Kahn) :
Cours 1, 15 janvier, 16h-17h sur le thème "Esterel et SCADE, de la recherche à l'industrie : la vision labo".
Séminaire, 17h-18h avec Juliette Leblond, Inria Sophia-Antipolis. Le traitement du temps en automatique.
Cours 2, 22 janvier, 16h-17h sur "Esterel et SCADE, de la recherche à l'industrie : la vision industrielle".
Séminaire, 17h-18h avec Patrick Flandrin, Ecole normale supérieure de Lyon. Une fréquence peut-elle être instantanée ?
Cours 3, 29 janvier, 16h-17h sur "Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle".
Séminaire, 17h-18h avec Laurent Maillet-Contoz, ST Microelectronics et Matthieu Moy, Verimag Grenoble. Prototypage virtuel de système sur puce pour une simulation rapide et fidèle.
