Preliminary program – CRTS 2008

08:45-09:00 – Opening and welcome (15 min)

09:00-10:00 – Keynote Address (60 min)

Research Challenges in Composable Distributed Cyber-Physical Systems

Tarek Abdelzaher, University of Illinois at Urbana-Champaign, USA

10:00-10:15 – Coffee (15 min)

10:15-11:30 – Session 1 – ”component interfaces” (75 min; 15+15+15+30 min)

10:15-10:30 – Component-based design of hard-real-time systems on multiprocessor platforms: issues and ideas – Sanjoy Baruah (15 min)

10:30-10:45 – On the complexity of generating optimal interfaces for hierarchical systems – Arvind Easwaran, Madhukar Anand, Insup Lee, Oleg Sokolsky (15 min)

10:45-11:00 – Approximation algorithms for compositional real-time systems: trading bandwidth for speed-of-analysis – Nathan Fisher (15 min)

11:00-11:30 – Panel discussion (30 min)

11:30-11:45 – Coffee (15 min)

11:45-13:00 – Session 2 – ”distributed systems” (75 min; 15+15+15+30 min)

11:45-12:00 – A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics – Kai Richter (15 min)

12:00-12:15 – Minimizing end-to-end response time in transactions – Enrico Bini (15 min)

12:15-12:30 – Server-based real-time communications of Switched Ethernet – Ricardo Marau, Nuno Figueiredo, Rui Santos, Paulo Pedreiras, Luís Almeida, Thomas Nolte (15 min)

12:30-13:00 – Panel discussion (30 min)

13:00-14:15 – Lunch (75 min)

14:15-15:45 – Session 3 – ”modeling and analysis” (90 min; 15+15+15+15+30 min)

14:15-14:30 – Composability for high-integrity real-time embedded systems – Daniela Cancila, Tullio Vardanega, Roberto Passerone (15 min)

14:30-14:45 – Synchronization protocols for hierarchical real-time scheduling frameworks – Moris Behnam, Thomas Nolte, Mikael Åsberg, Insik Shin (15 min)

14:45-15:00 – Extending real-time calculus to hierarchical scheduling of real-time components – Luca Santinelli, Giuseppe Lipari, Paolo Ancilotti (15 min)

15:00-15:15 – Non-preemptive access to shared resources in hierarchical real-time systems – Marko Bertogna, Fabio Checconi, Dario Faggioli (15 min)

15:15-15:45 – Panel discussion (30 min)

15:45-16:00 – Closing (15 min)