APGES 2007

 

Automatic Program Generation for Embedded Systems

 

Workshop Proceedings

 

This is the online proceedings; links to the individual papers are given below.  The proceedings is available as a single PDF here.

 

October 4th 2007

Salzburg, Austria                                              

Co-located with GPCE and ESWEEK

 

Editors:

Paul H J Kelly (Imperial College London)

Kevin Hammond (University of St Andrews)

 

Copyright on the papers in this proceedings remains with the respective authors.

 

APGES Workshop organisation

Kevin Hammond (University of St Andrews, General Chair)

Paul Kelly (Imperial College, London, Program Chair)

 

Invited speakers

            Paul Caspi (Verimag-CNRS)

            Some issues in automatic code generation for embedded control systems

 

Roumen Kaiabachev and Walid Taha (Rice University)

            Resource Aware Programming

 

Program committee

 

            Danilo Beuche (pure-systems GmbH, Germany)

            Paul Caspi (Verimag-CNRS, Grenoble, France)

            Zbigniew Chamski (NXP, the Netherlands)

            Mark Dalgarno (Software Acumen Ltd, UK)

            Bernd Fischer (University of Southampton, UK)

            Reinhard von Hanxleden (Christian-Albrechts-Universität zu Kiel, Germany)

            Christoph Kirsch (University of Salzburg, Austria)

            Anne-Francoise Le Meur (INRIA & Université des Sciences et Technologies de Lille)

            Christian Lengauer (University of Passau, Germany)

            Michael Mendler (Otto-Friedrich-Universität Bamberg, Germany)

            Olaf Spinczyk (University of Erlangen-Nuernberg, Germany)

            Satnam Singh (Microsoft Research, Cambridge, UK)

            Jonathan Sprinkle (Berkeley and University of Arizona, USA)

            Bruce Trask (MDE Systems, USA)

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.

 

Kevin Hammond, University of St Andrews  (General Chair)

Paul H J Kelly, Imperial College London  (Program Chair)

Contents

 

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