posted by user: SeppoVir || 4290 views || tracked by 22 users: [display]

IJERTCS-Special 2009 : Special Issue on Formal Methods in Embedded Communication System Design

FacebookTwitterLinkedInGoogle

Link: http://www.igi-global.com/journals/details.asp?ID=34406&v=callForPapersSpecial
 
When N/A
Where N/A
Submission Deadline Aug 31, 2009
Notification Due Sep 12, 2009
Final Version Due Sep 27, 2009
Categories    communications   embedded systems   computer science   formal methods
 

Call For Papers

*************************************
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

Related Resources

FM 2024   Formal Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
UIC 2024   The 21st IEEE International Conference on Ubiquitous Intelligence and Computing
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
BAMC 2024   The 5th Barcelona Conference on Arts, Media & Culture (BAMC2024)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems