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 engineering.
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):
Registration is now open to all, via the GPCE '07 registration page.
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). Papers must not be previously published or already submitted elsewhere.
Papers should be formatted in the Option 2 LaTeX style file
(sig-alternate.cls) or equivalent; see the ACM
SIG Proceedings Template for details.
Papers should be submitted via EasyChair by Monday June 18th.