Amphithéâtre Maurice Halbwachs, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
-

Résumé

Ce travail a plusieurs histoires. Tout d'abord une longue amitié avec Paul Caspi, lequel fut longtemps consultant auprès des équipes d'Airbus qui développent les logiciels de contrôle de vol (en Scade). Paul savait que les ingénieurs d'Airbus, lorsqu'ils devaient utiliser une architecture distribuée pour un système critique, avaient recours à une architecture de communication asynchrone et non bloquante (sans conflit d'accès) ; chaque entité (calcul, communication, capteurs et actionneurs) y est rythmée par son horloge périodique autonome, sans synchronisation. Paul Caspi avait étudié la méthodologie de programmation Airbus pour compenser les non-déterminismes qui résultent d'une telle architecture. Au cours des années 2000, nous avons ensuite travaillé à épurer cette méthodologie pour la réduire à une explication simple.

Intervenant(s)

Albert Benveniste

Inria Rennes