Après les trois cours donnés à l’Inria Sophia-Antipolis et dédiés à la relation science-industrie dans le développement des langages Esterel et SCADE, les cours donnés à Paris se consacreront à des modèles de temps plus variés que ceux vus en 2012-2013, qui étaient essentiellement synchrones. Nous étudierons des systèmes distribués cadencés par des horloges distantes synchronisées ou non, que ce soit à l’intérieur d’un circuit ou à l’échelle de la planète. Nous montrerons comment coordonner des calculs faits à diverses fréquences, comment synchroniser des horloges, comment parler simultanément de temps continu et de temps discret, etc. Les cinq premiers cours seront suivis d’un séminaire sur le même thème.
Le dernier séminaire du 9 avril 2014 aura lieu avant le dernier cours. Il sera intitulé « Cerveau, cognition et temps », un sujet de neurosciences nouveau dans cet enseignement mais dont l’intérêt pour nous est évident. Ensuite, le cours sera consacré à la réponse aux questions posées pendant l’année, que ce soit à propos des cours ou des séminaires. Envoyez svp vos questions à gerard.berry@college-de-france.fr.
Cours