Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news] Call for papers: Workshop on Automatic Program Generation for Embedded Systems (Embedded Systems Week)

Discussion topic

Back to topic list

[verimag-news] Call for papers: Workshop on Automatic Program Generation for Embedded Systems (Embedded Systems Week)

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2007-05-12 02:47:47 PDT
Message Call for Papers

   Workshop on Automatic Program Generation for Embedded Systems
           (APGES 2007 http://www.gpce.org/07/APGES07)

In association with GPCE 2007 (http://www.gpce.org/07),
colocated with ESWEEK (http://www.esweek.org/),
Salzburg, Austria, and in co-operation with ACM SIGPLAN.

*Submission deadline*: Monday June 18th (one week after GPCE notification)
*Notification*: July 31st
*Workshop*: October 4th

Exploiting the synergy offered by co-locating GPCE as part of ESWeek,
this new workshop aims to bring together researchers in automatic program
generation with researchers and practitioners in embedded systems.

Papers are invited exploring the problems of program generation in
embedded systems, especially in the conceptual and theoretical
foundations for software generation tools that can enhance the
robustness and productivity of generation-based embedded software

The increase in complexity of embedded systems software has led to
greater interest in improved automation of software production.
Automatic program generation is widely promoted in embedded systems
design in the form of model-driven development, software product
lines, automatic design-space exploration and tailor-made data
management, as well as more familiar template-based instantiation of
software designs. By taking advantage of the opportunities offered by
new research, for example in programming languages and compiler
techniques, it may be possible to achieve dramatic productivity gains,
with consequently reduced time to market, and yet still offer the
necessary strong guarantees of non-functional behaviours such as time,
space restrictions, power consumption, reliability and other important
system metrics.

The topics to be covered by this workshop include (but are not
restricted to):

o Industrial experience of automatic program generation techniques
o Correctness and safety issues in model-driven generators
o Automatic design-space exploration for resource-bounded systems
o New tools and methods for automatic generation of embedded systems
o Models for automatically generating embedded systems, including
   model-driven design approaches
o Tailor-made data management and generation of embedded database systems
o New and emerging program generation technology
o Models and analysis of real-time, hard-space and power
   consumption constraints for reasoning about automatically generated
   embedded systems
o Software product lines, languages for architectures and
   configurations of embedded systems
o Optimisation of generated programs for embedded systems

*Workshop organisation*

Kevin Hammond University of St Andrews (General Chair)
Paul Kelly Imperial College, London (Program Chair)

*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-​Universitaet zu Kiel, Germany
Christoph Kirsch University of Salzburg, Austria
Anne-Francoise Le Meur INRIA and Universite des Sc& Techn. de Lille
Christian Lengauer University of Passau, Germany
Michael Mendler Otto-Friedrich-Universitaet 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


Authors of selected papers will be invited to submit extended versions
for a special issue of Science of Computer Programming (Elsevier).


Authors are invited to submit full papers of up to 8 pages, or shorter
position papers or extended abstracts (which, if accepted, may be
allocated shorter presentation slots). Please refer to the website
for formatting and submission details. Papers must not be previously
published or already submitted elsewhere.

« Previous message in topic | 1 of 1 | Next message in topic »


Show all messages in topic

[verimag-news] Call for papers: Workshop on Automatic Program Generation for Embedded Systems (Embedded Systems Week) Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2007-05-12 02:47:47 PDT
Messages per page: