Informatics, TU Vienna

Time in Cyber-Physical Systems

Public Research Colloquium on the occasion of the retirement of Professor Hermann Kopetz.

A cyber-physical system consists of two interacting subsystems, a cyber-system and a physical system. The behavior of the cyber system is controlled by the execution of programs on a distributed digital computer system, while the laws of physics control the behavior of the physical system. The different models of time—dense physical time in the physical system versus discrete execution time in the cyber system, and the impossibility of perfect synchronization of the physical clocks of the nodes of a distributed computer system, lead to interesting phenomena concerning the joint behavior of these two subsystems. The colloquium is intended to shed light on these phenomena by renowned scientists who have worked on this topic from different perspectives.

Program

09:00 - 09:15 Welcome

09:15 - 10:00 John Eidson, UC Berkeley - IEEE 1588 and its role in cyber-physical systems

10:00 - 10:45 Brian Randell, Newcastle University - Failures in Complex Evolving Systems

10:45 - 11:00 Coffee Break

11:00 - 11:45 Edward Lee, UC Berkeley - Time for High-Confidence Cyber-Physical Systems

11:45 - 12:30 Georg Färber, TU München - Time and Complexity in Real Time Systems

12:30 - 13:30  Lunch Break

13:30 - 14:15 John Rushby, SRI International, Menlo Park - Distributed Cyber-Physical Systems

14:15 - 15:00  Thomas A. Henzinger, IST Austria - Programming with Logical Execution Times

15:00 - 15:15  Coffee Break

15:15 - 16:15  Panel Discussion

Registration

Participation is free, but seats are limited.
Please register by August 31, 2011 to Maria.Ochsenreiter@tuwien.ac.at.