Call for Papers

Special issue on Model-driven Embedded System Design

Embedded systems are omnipresent in modern society, and society crucially depends on their proper functioning. The complexity of embedded system design however is increasing rapidly, through the use of multiprocessor cores, through the integration of embedded systems in ubiquitous networks, and through the increasing interaction between embedded systems and their users and environments. To obtain a reliable operation of embedded systems while maintaining resource efficiency, the embedded system design process needs to be based on a solid basis of computational models.

Prospective authors are invited to submit novel and unpublished work on model-driven embedded system design. The special issue focuses on the following question in particular:

How can computational models be used to drive embedded system design such that performance, quality and resource constraints are met?

Contributions may cover the whole range of computational models (including dataflow models, statebased models, discrete-event models, process algebras, stochastic and probabilistic models), all modern embedded platforms (including multiprocessor systems-on-chip, distributed and networked systems, sensor networks), and all application domains (including multimedia and gaming, automotive, high-tech industrial systems, telecommunication, care and assisted living).

Topics of interest include:

• QoS, resource, and power management
• Operating systems, middleware, distributed control, network management
• Synthesis, analysis and verification (especially focusing on non-functional properties)
• Software synthesis and model-driven software engineering
• Real-time computing, scheduling, execution time analysis
• Fault tolerance, dependability, security

This special issue is planned as a follow up of the Artist Models of Computation and Communication (MoCC) 2008 workshop to be held in Eindhoven, 3-4 July 2008. Submission to the special issue is open for everyone. Participants of the MoCC workshop are especially invited to submit. Submissions will undergo the usual ACM TECS review process and should be submitted to mc.manuscriptcentral.com/acm/tecs. Authors should clearly indicate on the first page of their submission below the title in bold letters 'Submitted to the Special issue on Model-driven Embedded System Design'.

Timetable:

Submission deadline:	September15, 2008
Notification:	December 15, 2008
Final version due:	February 15, 2009
Tentative publication:	approx. Summer 2009

Guest Editors:

• Twan Basten, Eindhoven University of Technology, Netherlands
  E-mail
• Rolf Ernst, Technische Universität Braunschweig, Germany
  E-Mail