Automatic Program Generation for Embedded Systems

October 4th 2007, Salzburg, Austria

INTRODUCTION AND KEYNOTE
Session chair: Kevin Hammond

9:15 - Introduction and welcome
9:30 - Keynote presentation - Some issues in automatic code generation for embedded control systems
Paul Caspi
10:30-11:00 - Break

SESSION A (Modularity in real-time control)
Session chair: Chris Lengauer

11:00 - Generative Design of Hardware-in-the-Loop Models
Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch and Michael Folie.
11:30 - Clock-directed Modular Code Generation from Synchronous Block Diagrams
Dariusz Biernacki, Jean-Louis Colaco and Marc Pouzet.
12:00 - Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code
Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas Henzinger and Alberto Sangiovanni-Vincentelli.
12:30 - 14:00 Lunch

SESSION B (Generating distributed implementations)
Session chair: Paul Kelly

14:00 - Keynote presentation - Resource Aware Programming
Roumen Kaiabachev
15:00 - A Domain-Specific Language for Programming Self-Reconfigurable Robots
Ulrik Schultz, David Christensen and Kasper Stoy.
15:30 - Automated component-based implementation of data-driven embedded applications
Sergio Yovine, Marcelo Zanconi and Ananda Basu.
16:00 - 16:30 Break

SESSION C (Hardware and Drivers)
Session chair: Marc Pouzet

16:30 - Generating a Statically-Checkable Device Driver I/O Interface
Lea Wittie, Chris Hawblitzel and Derrin Pierret.
17:00 - Architectural Exploration of Reconfigurable Monte-Carlo Simulations using a High-Level Synthesis Approach
Jose Gabriel F. Coutinho, David Thomas and Wayne Luk.
17:30 - DISCUSSION: Program Generation - where is the science?
18:00 Close