LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Ajouter à votre agenda

Colloquium d’Informatique de Sorbonne Université
Edward A. Lee, University of California at Berkeley

Tuesday 25 February 2020 18:00
Amphi 34A Sorbonne University - Faculté des Sciences

Reactors for Real-Time Systems

Edward A. Lee

Edward A. Lee has been working on embedded software systems for 40 years, and after detours through Yale, MIT, and Bell Labs, landed at Berkeley, where he is now Professor of the Graduate School in EECS. His research is focused on cyber-physical systems. He is author of leading textbooks on embedded systems and digital communications, and has recently been writing books on philosophical and social implications of technology.

Abstract

Concurrent and distributed software based on publish-and-subscribe (e.g. ROS) and actors (e.g. Erlang) are sometimes used to realize distributed real-time and robotic systems. Broadly, these mechanisms compose software components that have private state and communicate with each other via message passing. However, the underlying concurrency models have serious flaws. Most important, the message-passing mechanisms are less deterministic than they could be. In this talk, I will describe some simple challenge problems that are common in distributed real-time systems and extremely difficult to solve using either actors or publish-and-subscribe. I will offer an alternative model of computation that we call "reactors" that solves these problems simply and elegantly and that is able to leverage decades of results from the real-time systems community. The reactors model is being implemented in a coordination language called Lingua Franca.

Other information

Contact: Antoine Miné

Steering committee

There will be a cocktail at 17:15, in front of Amphi 34A.

Amphi 34A
Sorbonne Université - Faculty of Science & EngineeringCampus Pierre et Marie Curie
4 place Jussieu
75005 Paris (métro Jussieu)

How to reach Sorbonne University (Faculty of Science & Engineering).

Electronic access

Colloquium announcements

In order to be informed of future events via emails, you can subscribe to colloquium announcements.
If you do not want to be informed anymore, you can unsubscribe to colloquium announcements