Gérard Berry : Le temps et les événements, de la physique à l'informatique et à la musique.

 Summary

Au 20e siècle, l’informatique considérait le temps au seul prisme du temps de calcul d’un circuit ou d’un programme. Mais la gestion explicite du temps et plus généralement des événements se produisant au cours du temps est devenue essentielle dans les systèmes informatiques du 21e siècle : systèmes cyber-physiques de l’informatique embarquée (avionique, transports, robotique, etc.), circuits électroniques synchrones et asynchrones, synchronisation mondiale fine des ordinateurs, téléphones et bases de données, gestion du temps et des événements sur le Web. Mais bien parler du temps et des événements n’est pas simple : d’une part, la vision classique du temps physique fondée sur la droite réelle s’avère très insuffisante, et d’autre part, les langages informatiques standards ont fait une impasse complète sur le sujet. Nous présenterons des visions beaucoup plus larges du sujet : calculs algébriques de processus pour la communication asynchrone, et à l’opposé modèles de temps multiformes et hiérarchiques adoptés par les langages synchrones pour la programmation des systèmes informatiques embarqués et des circuits. Nous verrons que l’orchestration du Web demande de conjuguer ces deux approches. Nous montrerons aussi comment traiter correctement la conjonction de comportements continus et discrets dans la simulation des phénomènes physiques, ce qui n’est pas fait dans les modeleurs actuels. Nous terminerons par l’informatique musicale, dans laquelle le synchronisme et l’asynchronisme se marient de façon subtile, et où l’approche synchrone a fait une percée inattendue pour la coopération harmonieuse entre interprètes humains et musiques « électroniques » (c’est-à-dire logicielles). Les problèmes ouverts sont nombreux et passionnants dans ce sujet.

 Infos

 Downloads

 Embed/Share

Social Networks

 Options
Check the box to autoplay the video.
Check the box to loop the video.
Check the box to indicate the beginning of playing desired.
 Embed in a web page
 Share the link
qrcode