Apologies if you receive multiple copies of this email. Please distribute! ********************* CALL FOR PAPERS ********************* SUBMISSION DUE DATE: May 15, 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