CALL FOR PAPERS
Formal Methods for Embedded Systems Design IEEE Transactions on
Industrial Informatics Special Section Estimated Publication Date: Mid
2008.

IEEE Transactions on Industrial Informatics seeks original manuscripts
for a Special Section on Formal Methods for Embedded Systems Design
scheduled to appear end 2008.

CALL FOR PAPERS
While confined to domain-specific, safety critical, system design
activities in the recent past, embedded systems have today become so
common that they can be found in most industrial applications. While
such an explosive growth of applications is by itself spectacular,
what is equally spectacular is that a many of these systems have a
safety critical functions which they fulfill without any noticeable
departure. However, as the complexity grows, and more human lives
depend on correct functioning of such systems, one has to be extremely
cautious in designing such systems. Formal theories based in sound
semantic models that lead to verifiable designs or correct-
by-construction designs are needed. The choice of a suitable model
of computation and of communication, and of a formal, tool-supported,
design methodology, rather than just some general programming
guideline, immensely influences the reliability of the system that
will be produced.
Topics of the section: Papers are invited that deal with formal
methods for embedded system design.

TOPICS
The topics of interest cover the match of semantic foundations with an
actual engineering practice, influence and interaction between
alternative architectural, computational models, case studies on
design of verifiable or correct-by-construction embedded systems,
optimization and design-space exploration techniques for embedded
system design based on domain specific models and architectures,
comparative study of models and architectures for embedded system
specification and design, model driven design and verification of
embedded systems.

SUBMISSIONS
Submissions to this Special Section must represent original material
that have been neither submitted to, nor published in, any other
journal. Extended versions of papers previously published in
conference proceedings, digests or preprints may be eligible for
consideration, provided that the authors inform the Special Section
Guest Editors at the time of submission. The recommended papers for
the section are subject to final approval by the Editor in Chief.
Some papers may be published outside the special section, at his
discretion.

MANUSCRIPTS
Follow the guidelines in "Information for Authors" and "General
Publication Policies" in http://ieee-ies.org/tii Submit using
Manuscript Central only http://mc.manuscriptcentral.com/tii

DATES
Paper submission deadline: September 30, 2007
Expected publication date: November 2008 (tentative)

GUEST EDITORS
Sandeep K. Shukla, Virginia Polytechnic and State University
Jean-Pierre Talpin, INRIA/IRISA