Sites Inria

Unithé ou café

Laure Guion - 15/01/2010

Les programmes prennent le temps

Marc Pouzet, professeur, équipe Proval - © Inria Saclay - Île-de-France

Deux personnes jonglent ensemble, elles s’échangent des balles au même moment. Cette simple situation réelle est complexe à recréer en programmation. Comment introduire la notion de temps dans un logiciel ? Et que signifie « en même temps » ? De l’ABS de voiture au sas de sécurité d’une entrée de banque, en passant par le tapis roulant des bagages à l’aéroport, l’échelle de temps doit être suffisamment fine pour que les systèmes fonctionnent sur un rythme commun. Mais il faut aussi « faire comme si » le temps était précis pour pouvoir synchroniser des tâches ensemble, entre machines mais aussi avec des humains. C’est-à-dire simplifier la réalité pour mieux réguler…

Mots-clés : Équipe Proval Système embarqué Temps réel Marc Pouzet Interaction et contraintes Synchronisation

Haut de page

Suivez Inria