[HiPEAC-announce] [CfP] ACM TECS Special issue on Model-driven Embedded System Design

[Basten, A.A.]

ACM Transactions on Embedded Computing Systems (ACM TECS)

Special issue on Model-driven Embedded System Design

Call for papers

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'.

Guest editors:

Twan Basten, Eindhoven University of Technology, Netherlands,
a.a.basten at tue.nl
Rolf Ernst, Technische Universitaet Braunschweig, Germany,
ernst at ida.ing.tu-bs.de

Important dates:

15 September 2008: submission deadline
15 December 2008: notification
15 February 2009: final version due
Summer 2009: tentative publication

--
Twan Basten, dr.ir. A.A. - http://www.es.ele.tue.nl/~tbasten - Associate
Professor, Design Methodology for Electronic Systems - Eindhoven
University of Technology, Dept of Electrical Engineering - PO Box 513,
NL-5600 MB Eindhoven, Netherlands, +31 40 247 5782