Le temps élargi : horloges multiples, temps discrets et temps continu

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.