ARTIST2 Summer School 2008 in Europe

Click on the orange links below to see the videos. A PDF version is also available on the right.   Be sure to close your video before opening a new one, or you will hear both videos at once.

Real-Time Programming

• Luis Almeida (U. Aveiro) The challenges of flexible real-time communication

• David Bacon (IBM) Real-Time Programming in Java

  invited speaker

• Sanjoy Baruah (U. N.C. at Chapel Hill) Multiprocessor Real-Time Computing: Formal Foundations

  invited speaker

• Hermann Haertig (TU Dresden) Enforceable Component-Based Realtime Contracts

• Raj Rajkumar (Carnegie Mellon University) Building Blocks for Large-Scale Wireless Sensor Networks

• Lothar Thiele (ETHZ) Performance analysis of distributed real-time systems

• Reinhard Wilhelm (Saarland) Timing Analysis and Timing Predictability

Control and Scheduling

• Tarek Abdelzaher (U. Illinois U-Champaign) Feedback Control of Distributed Computing Systems

  invited speaker

• Karl Erik Arzen (Lund) & Pedro Albertos (UP Valencia) Implementation of control systems in resource-constrained embedded systems

• Karl Johan Astrom (LTH) Control System Architectures

  invited speaker

• Giorgio Buttazzo (Pisa) Real-Time Scheduling and Resource Management

• Michael Gonzalez (U. Cantabria) Contract-based resource reservation and scheduling

• Kai Richter (Symtavision) Establishing Formal Scheduling Analysis in Automotive Design Processes

Hardware Platforms

• Marco Bekooij (NXP) Dataflow analysis for predictable multiprocessor design

• Peter Marwedel & Heiko Falk (TU Dortmund) Memory architecture aware compilation

• Giovanni De Micheli (EPFL) Heterogeneous Platforms for Embedded Systems

  invited speaker

• Diederik Verkest (IMEC) Mapping C code on MPSoC for Nomadic Embedded Systems

Verification, Test, and Validation

• Gerard Berry (Esterel Technologies) The evolution of the synchronous model

• Ed Brinksma (ESI) Quantitative Testing Theory

• Rance Cleaveland (University of Maryland, USA) An Instrumentation-based Approach to Controller Model Validation

• Klaus Havelund (NASA JPL) Rule-based Runtime Verification

• Marta Kwiatkowska (Oxford U.) Quantitative Probabilistic Verification of Systems

• Kim Larsen (Aalborg) Quantitative Verification and Synthesis for Embedded Systems

• Steve Vestal (Honeywell) Automating compositional safety analysis for IMA systems