APGES 2007 - Workshop on Automatic Program Generation for Embedded Systems

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

Papers are invited specifically to explore the problems of program generation in embedded systems, and conceptual and theoretical foundations for software generation tools that can enhance the robustness and productivity of generation-based embedded software engineering.

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

* Correctness and safety issues in model-driven generators * Industrial experience of automatic program generation techniques * 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 technology * Modelling of and analyses 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

Workshop home page: http://www-fp.dcs.st-and.ac.uk/APGES/