Author(s)

Presentation

« Gérer le temps et les événements est central dans des domaines variés de l’informatique, des circuits et logiciels embarqués dans des objets de toutes sortes à la création musicale, en passant par la simulation de phénomènes physiques. Ce sujet est pourtant peu traité par l’informatique classique. Cette leçon présente des modélisations du temps et des événements associées à de nouveaux langages de programmation. Elle traite des notions d’épaisseur de l’instant, de temps hiérarchique et multiforme créé par la répétition d’événements, et du rapport temps réel/temps continu. »

Ce livre est la réédition par le Collège de France de l’ouvrage publié sous le même titre en 2013 (Collège de France/Fayard).

Polytechnicien, ingénieur des Mines, membre de l’Académie des sciences, Gérard Berry a travaillé conjointement dans la recherche et dans l’industrie. Depuis 2012, il est professeur titulaire de la chaire Algorithmes, machines et langages du Collège de France après avoir occupé les chaires annuelles d’Innovation technologique Liliane Bettencourt (Pourquoi et comment le monde devient numérique, Fayard, 2008) et d’Informatique et sciences numériques (Penser, modéliser et maîtriser le calcul informatique, Fayard, 2009).

ISBN
978-2-7226-0748-4
Number in collection
236
Publication date
Language
français
Number of pages
88
Price
12.00 €
Distribution
FMSH-Diffusion
Format
Édition imprimée

Table of contents

Introduction

Le temps et les événements en informatique

Parler du temps, mais de manière formelle

Élargir la notion de temps

Des circuits aux systèmes sur puces

Langages synchrones et temps multiforme

Simulation temps continu/temps discret

La preuve de programmes

Conclusion

Excerpts

Le rôle du temps en informatique est souvent vu à travers le seul prisme de la complexité algorithmique : minimisation du temps de cycle d’un circuit, du temps de calcul d’un programme ou du temps de propagation de l’information dans un réseau, échange temps/espace dans les algorithmes et leurs implémentations, etc. Ces questions sont évidemment essentielles, car le coût et le bénéfice final d’une application résultent d’un équilibre subtil entre temps de calcul, taille de la mémoire et énergie dépensée. Mais les algorithmes et les langages de programmation classiques ne parlent pas eux-mêmes du temps, qui reste une considération externe ne faisant pas partie des spécifications fonctionnelles. C’est aussi vrai de la gestion des événements auxquels répondent les programmes ou qu’ils engendrent, souvent traitée ad hoc.