ARTES Summer School 2007
August 20-24 2007

Invitation, Programme, Registration, Travel, RTiS 2007 SNART

Programme

All session will take place in the lecture hall "Gamma" in building U. See page 7 in the guide in pdf.

• August 20
• 11:30 Registration
• 12.00 Lunch
• 13:30 Tutorial "An Overview of Concurrent Models of Computation for Real-Time Systems"
  Prof. Edward A. Lee, University of California at Berkeley
• 15:00 Break
• 15:30 Tutorial is continued.
• 16:30 Break
• 16:45 Student presentations:
  • Anders Sandberg, KTH
• 19.00 Dinner at Limone
• August 21
• Real-Time in Sweden
• August 22
• Real-Time in Sweden
• August 23
• 08:30 Tutorial "Clock Synchronization and Determinism, Fault Tolerance, and System Design"
  Prof. Hermann Kopetz, Vienna University of Technology
• 10:00 Break
• 10:30 Tutorial is continued.
• 12.00 Lunch
• 13:30 Inspiration till innovation.
  Workshop med Idélab, MdH.
• 15:30 Social event
• 19.00 Dinner
• August 24
• 09:00 Student presentations:
• Verification of Real-Time Components
  John Håkansson, Uppsala University
• Detecting Anomaly Node Behavior in Wireless Sensor Networks
  Qinghua Wang, Mid Sweden University, Sundsvall
• 10:00 Break
• 10:30 Presentation of The PROGRESS Centre for Predictable Embedded Software Systems. Prof. Hans Hansson
• 11:30 Presentation of the course Populärvetenskaplig kommunikatinon, Lena Johansson Westholm, MdH.
• 11:59 End of summerschool
• 12.00 Lunch