Keynote Talk: Edward A. Lee

Time for High-Confidence Distributed Embedded Systems

All widely used software and networking abstractions lack temporal
semantics. The notion of correct execution of a program written in
every widely-used programming language, in nearly every processor
instruction-set, and the most widely used networking protocols today
does not depend on timing. Timing properties emerge from an
implementation, rather than being part of the design. But temporal
behavior matters in almost all systems, but most particularly in
networked embedded systems, where temporal behavior affects not just
the value delivered by a system but also its correctness.

This talk will argue that time can and must become part of the
semantics of programs and networks. To illustrate that this is both
practical and useful, we will describe recent efforts at Berkeley in
the design and analysis of timing-centric distributed software
systems. In particular, we will focus on the PTIDES project, which
provides a timing-centric programming model for distributed real-time
systems that leverages recent advances in network time
synchronization.

(Slides are available as a UC Berkeley Tech Report.)

Speaker’s Biography

Edward A. Lee is the Robert S. Pepper Distinguished Professor and
former chair of the Electrical Engineering and Computer Sciences
(EECS) department at U.C. Berkeley. His research interests center on
design, modeling, and simulation of embedded, real-time computational
systems. He is a director of Chess, the Berkeley Center for Hybrid and
Embedded Software Systems, and is the director of the Berkeley Ptolemy
project. He is co-author of five books and numerous papers. He has led
the development of several influential open-source software packages,
notably Ptolemy and its various spinoffs. His bachelors degree (B.S.)
is from Yale University (1979), his masters (S.M.) from MIT (1981),
and his Ph.D. from U. C. Berkeley (1986). From 1979 to 1982 he was a
member of technical staff at Bell Telephone Laboratories in Holmdel,
New Jersey, in the Advanced Data Communications Laboratory. He is a
co-founder of BDTI, Inc., where he is currently a Senior Technical
Advisor, and has consulted for a number of other companies. He is a
Fellow of the IEEE, was an NSF Presidential Young Investigator, and
won the 1997 Frederick Emmons Terman Award for Engineering Education.