Science of Computer Programming has a special issue on Automatic Program Generation for Embedded Systems planned.
Here’s the Call for Papers…
Following the successful first workshop on Automatic Program Generation for Embedded Systems (APGES 2007 http://www.gpce.org/07/APGES07), held in Salzburg, Austria in October 2007, as part of Embedded Systems Week (ESWeek 2007), submissions are invited for a special issue of the journal “Science of Computer Programming”.
Original 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 engineering. Revised and extended versions of papers that were presented at the workshop are welcomed, and should take advantage of any feedback that was offered at the workshop. New papers that were not presented at the workshop are also welcome.
All papers will be reviewed to normal journal standards by an international panel of referees. 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 nonfunctional behaviours such as time, space restrictions, power consumption, reliability and other important system metrics. The challenge is to achieve this vision while remaining focused on issues of practicality
- The topics to be covered by this journal special issue include (but are not restricted to):
- Industrial experience of automatic program generation techniques
- Correctness and safety issues in model-driven generators
- Automatic design-space exploration for resource-bounded systems
- New tools and methods for automatic generation of embedded systems
- Models for automatically generating embedded systems, including model-driven design approaches
- Tailor-made data management and generation of embedded database systems
- New and emerging program generation technolog
- Models and analysis of real-time, hard-space and power consumption constraints for reasoning about automatically generated embedded systems
- Software product lines, languages for architectures and configurations of embedded systems
- Optimisation of generated programs for embedded systems
Kevin Hammond University of St Andrews, UK (Editor)
Paul Kelly Imperial College, London, UK (Editor)
Danilo Beuche pure-systems GmbH, Germany
Zbigniew Chamski NXP, the Netherlands
Mark Dalgarno Software Acumen Ltd, UK (i.e. me)
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 Sciences et Technologies de Lille, France
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 are invited to submit full papers of up to 20 pages in normal Elsevier journal format through http://www.ees.elsevier.com/scico/.
Papers must contain significant new and unpublished material, must not be submitted for publication elsewhere, and will be judged on the basis of relevance, novelty and significance. Authors may submit position papers or survey papers as well as normal technical papers (please mark the paper as a Position Paper or Survey Paper in this case). Presentation at a conference or workshop without a formal published
proceedings, such as APGES, is not considered to constitute prior publication. In case of doubt in other cases, please do contact the editors, who will be happy to offer individual advice. Note: it is important that authors select Special Issue: APGES 2007 when they reach the “Article Type” step in the submission process. Please refer to the SCP’s Guide for Authors when preparing your paper(http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions).