*************************************
DEADLINE EXTENDED to August 31, 2009!
*************************************

SPECIAL ISSUE ON Formal Methods in Embedded Communication System Design,
International Journal of Embedded and Real-Time Communication Systems
(IJERTCS)

http://www.igi-global.com/ijertcs

Guest Editor: Dr. Juha PLOSILA
(University of Turku, Turku, Finland)
juha.plosila@utu.fi

***********************************************************

INTRODUCTION:
Formal methods enable abstraction of system behavior and properties
providing means to manage ever-increasing design complexity in an
efficient manner, from both software and hardware perspective. They can
be used for modeling and verification of parallel systems at different
abstraction levels. Since formal methods have mathematical semantics for
their language constructs, they allow not only mathematically exact
specification of system models but also rigorous reasoning about
correctness of system functionality, architecture, and taken design
decisions. Formal methods do not completely replace traditional
simulation based verification methods, but they can significantly
enhance the design and verification process of complex systems.

OBJECTIVE OF THE SPECIAL ISSUE:
The objective of this special issue of IJERTCS is to demonstrate
application of different formal methods to modeling, design, and
verification of embedded communication systems. We are looking for
interesting and novel research addressing formal approaches that tackle
either functional (logical) or non-functional (physical) aspects of such
systems. The special issue is open for both software and hardware
oriented research, as well as for both theoretical and more case study
based papers.

RECOMMENDED TOPICS:
Topics to be discussed in this special issue include (but are not
limited to) the following (in the context of formal methods and embedded
communication systems) :

- Behavioral modeling (system level, component level)
- Design methodologies (e.g. top-down, bottom-up, meet-in-the-middle)
- Specification and validation of properties and constraints
- Specification and validation of communication protocols
- Modeling and verification of system architectures,
computation platforms, communication infrastructures,
and interfaces
- Refinement of system and component models
- Synthesis of hardware or software from formal models
- Agent based design
- Application mapping onto computation platforms
- Hardware/Software co-design
- Time aware modeling
- Energy/temperature aware modeling
- Quality-of-service management
- Fault-tolerance management
- Modeling of reconfigurability and reconfigurable systems

SUBMISSION PROCEDURE:
Researchers and practitioners are invited to submit papers for this
special theme issue on Formal Methods in Embedded Communication System
Design on or before May 15, 2009. All submissions must be original and
may not be under review by another publication. INTERESTED AUTHORS
SHOULD CONSULT THE JOURNAL’S GUIDELINES FOR MANUSCRIPT SUBMISSIONS at
http://www.igi-global.com/development/author_info/guide.asp

All submitted papers will be reviewed on a double-blind, peer review
basis. Papers must follow APA style for reference citations.

TIMELINE:
Last date for submitting the manuscript : May 15, 2009
End of the first review (+ notification of acceptance) : June 30, 2009
Tentative date for submitting the revised papers: July 31, 2009
Tentative date for completing the second review : September 15, 2009
Publication: April 2010

ABOUT International Journal of Embedded and Real-Time Communication
Systems (IJERTCS):
The International Journal of Embedded and Real-Time Communication
Systems (IJERTCS) has an interdisciplinary scope, encompassing research
from computer science, computer engineering and
telecommunication/communication engineering with focus on how these
disciplines interact in the field of embedded and real-time systems for
communication. The subject coverage is broad, serving its readership
both theoretical and practical research results facilitating the
convergence of embedded systems, real-time computing and communication
system technologies and paradigms. The journal brings together
researchers and scientists from various disciplines with similar
research interests. The primary objective of IJERTCS is to disseminate
high-quality research, recent advancements and innovations in this
interdisciplinary research area.

This journal is an official publication of the Information Resources
Management Association www.igi-global.com/IJERTCS.

Editor-in-Chief: Dr. Seppo VIRTANEN
Published: Quarterly (both in Print and Electronic form)


PUBLISHER:
The International Journal of Embedded and Real-Time Communication
Systems (IJERTCS) is published by IGI Global (formerly Idea Group Inc.),
publisher of the “Information Science Reference” (formerly Idea Group
Reference) and “Medical Information Science Reference” imprints. For
additional information regarding the publisher, please visit
www.igi-global.com.

All submissions should be should be directed to the attention of:

Dr. Juha PLOSILA
Guest Editor
International Journal of Embedded and Real-Time Communication Systems
E-mail: juha.plosila@utu.fi