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

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


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

Guest Editor: Dr. Juha PLOSILA
(University of Turku, Turku, Finland)


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.

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.

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

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

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

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

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

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

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

Guest Editor
International Journal of Embedded and Real-Time Communication Systems

Related Resources

MEMOCODE 2022   20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
GreeNet Symposium - SGNC 2022   11th Symposium on Green Networking and Computing (SGNC 2020)
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
FM 2023   Formal Methods
IJPLA 2022   International Journal of Programming Languages and Applications
SBMF 2022   25th Brazilian Symposium on Formal Methods
BIOS 2022   8th International Conference on Bioinformatics & Biosciences
Embedded Systems for AI-Based Health Mon 2022   Embedded Systems for AI-Based Health Monitoring in Cyber Physical Systems
IJITCA 2022   International Journal of Information Technology, Control and Automation