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.
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
Participation is free, but seats are limited.
Please register by August 31, 2011 to Maria.Ochsenreiter@tuwien.ac.at.