Automatic Program Generation for Embedded Systems
October 4th 2007
Co-located with GPCE and ESWEEK
Paul H J Kelly (
Kevin Hammond (
Copyright on the papers in
this proceedings remains with the respective authors.
APGES Workshop organisation
Paul Kelly (
Paul Caspi (Verimag-CNRS)
Some issues in automatic code generation for embedded control systems
Roumen Kaiabachev and Walid Taha
Resource Aware Programming
Paul Caspi (Verimag-CNRS,
Zbigniew Chamski (NXP,
Mark Dalgarno (Software Acumen Ltd, UK)
Reinhard von Hanxleden (Christian-Albrechts-Universität zu Kiel, Germany)
Anne-Francoise Le Meur (INRIA & Université des Sciences et Technologies de Lille)
Michael Mendler (Otto-Friedrich-Universität Bamberg, Germany)
Olaf Spinczyk (University of Erlangen-Nuernberg, Germany)
Singh (Microsoft Research,
Trask (MDE Systems,
Introduction and welcome
This collection consists of the seven papers that were presented on October 4th 2007 at a new workshop on Automatic Program Generation for Embedded Systems (APGES).
The purpose of the workshop
The purpose of the workshop is to build and strengthen a community of researchers, and to identify a common body of principles. Program Generation is very widely used, especially in embedded systems software. Our goal is to bring new understanding and theory to the topic.
The papers in this collection provide some progress towards this goal. Particular issues of concern include, for example, assuring correctness of program generators, generation of programs with assured safety properties, componentization, modularity, and separate compilation.
The refereeing process
All seven papers were reviewed by at least three expert referees, in most cases by members of the Program Committee. Five papers were ranked “Accept” in at least two reviews. Two were supported slightly more weakly and have been revised with specific attention to referees’ comments.
Acknowledgements and thanks
Thank you to the authors of all the submitted papers – we have a strong program thanks to your efforts, and to your enthusiasm for the workshop’s goals. We would like to thank our keynote speakers, Paul Caspi, Roumen Kaiabachev and Walid Taha, for their enthusiastic and thoughtful response to our invitation to help frame this event. We especially thank Romen Kaiabachev for stepping in at the last minute.
Thanks in particular must go to the Program Committee, whose members have provided really valuable, helpful and balanced feedback to the authors, and guidance to the selection process. It has been a pleasure for us to work with them.
We would also like to acknowledge the kind support of the GPCE and ESWEEK organizers, in particular Julia Lawall, Emir Pasalic, and Christoph Kirsch.
Finally, we should acknowledge that inspiration for the workshop grew from IFIP WG2.11 on Program Generation, and from our involvement in the HiPEAC and Artist Networks of Excellence, funded by the EU.
Paul H J
Generative Design of Hardware-in-the-Loop Models
Uwe Ryssel, Jörn Plönnigs, Klaus Kabitzsch and Michael Folie. pdf
Clock-directed Modular Code Generation from Synchronous Block Diagrams
Dariusz Biernacki, Jean-Louis Colaco and Marc Pouzet. pdf
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. pdf
A Domain-Specific Language for Programming Self-Reconfigurable Robots
Ulrik Schultz, David Christensen and Kasper Stoy. pdf
Automated component-based implementation of data-driven embedded applications
Sergio Yovine, Marcelo Zanconi and Ananda Basu. pdf
Generating a Statically-Checkable Device Driver I/O Interface
Lea Wittie, Chris Hawblitzel and Derrin Pierret. pdf
Architectural Exploration of Reconfigurable Monte-Carlo Simulations using a High-Level Synthesis Approach
José G. Coutinho, David Thomas and Wayne Luk. pdf