CALL FOR BOOK CHAPTERS


Book Title:
Autonomic Networking-on-Chip:
Bio-inspired Specification, Development, and Verification

Proposals Submission Deadline: November 30, 2009
Full Chapters Due: March 30, 2010

A book edited by Phan Cong-Vinh
Centre for Applied Formal Methods
London South Bank University, United Kingdom.


This publication is part of the Embedded Multi-core Systems (EMS) Book Series. Learn more at http://www.ims.ece.uvic.ca/book.html


INTRODUCTION TO THE SUBJECT AREA

A new networking-on-chip paradigm, which is seen as a cutting-edge approach to network-on-chip (NoC), is currently on the spot as one of the priority research areas: autonomic networking-on-chip (ANoC), which is inspired by the human autonomic nervous network.

ANoC is an NoC being able to realize its self-* functionality such as self-organization, self-healing, self-configuration, self-optimization, self-protection and so on whose context-awareness used to control networking functions dynamically.

The overarching goal of ANoC is to realize intelligent networks-on-chips, that can manage themselves without direct human interventions. Meeting this grand challenge of ANoC requires a rigorous approach to ANoC and the notion of self-*. To this end, taking advantage of formal engineering methods we will establish, in this book, formal and practical aspects of ANoC through specifying, refining, programming and verifying ANoC and its self-*. All of these are to achieve foundations and practice of ANoC.

From the above characteristics, novel approaches of specification, refinement, programming and verification are arising in formal engineering methods for ANoC. Therefore, new methodologies, programming models, tools and techniques are imperative to deal with the impact of ANoC and their self-* mentioned above on emerging intelligent networks-on-chips.

OBJECTIVE OF THE BOOK

The proposed book will be a reference material for readers who already have a basic understanding of NoC and are now ready to know how to bio-inspiredly specify, develop and verify ANoC using rigorous approaches. Hence, theoretical contributions are welcome, provided their relevance for how to specify, develop and verify ANoC is clear. Reports on applications are welcome, provided their formal basis is evident. For keeping a reasonable trade-off between theoretical and practical issues, a careful selection of the chapters will be done, on the one hand, to cover a broad spectrum of formal and practical aspects and, on the other hand, to achieve as much as possible a self-contained book.

Formal and practical aspects will be preferably presented in a straightforward fashion by discussing in detail the necessary components and briefly touching on the more advanced components. Therefore, bio-inspired specification, development and verification demonstrating how to use the formal engineering methods for ANoC will be described by sound judgments and reasonable justifications.

TARGET AUDIENCE

The book is written for researchers, scientists, professionals and students in electrical \& electronic engineering, computer science and computer engineering as well as developers and practitioners in networks-on-chips design.

SCOPE OF THE BOOK

Topics of interest range from specification to implementation for Autonomic Networking-on-Chip (ANoC) based on rigorous interdisciplinary approaches in which theoretical contributions should be formally stated and justified, and practical applications should be based on their firm formal basis.

Recommended topics of the book include, but are not limited to, the following.

* Bio-inspired NoC
* Mapping of applications onto ANoC
* ANoC for FPGAs and structured ASICs
* Applications of formal methods in ANoC development
* Formalizing languages that enable ANoC
* Validation and Verification techniques for ANoC
* Self-* in ANoC (such as self-organization, self-configuration, self-healing, self-optimization, self-protection and so on
* Calculi for reasoning about context-awareness in ANoC
* Programming models for ANoC

The list is not restrictive - contributing authors are encouraged to contact the editor before submitting a chapter proposal to determine whether the proposed submission is within the scope of this book.

SUBMISSION PROCEDURE

Potential contributors are invited to submit to the book editor via email on or before November 30, 2009 a 2-3 page chapter proposal (included as an email attachment) clearly explaining the mission and concerns of their proposed chapter. Contributors of accepted proposals will be notified by December 15, 2009 regarding the status of their proposals and sent chapter guidelines. Full chapters are expected to be submitted by March 30, 2010. All submitted chapters will be reviewed on a double-blind review basis. Contributors may also be requested to serve as reviewers for this book project.

PUBLISHER

This book is scheduled to be published by CRC Press, premier publisher of technical and scientific work, reaching around the globe to collect essential reference material and the latest advances and make them available to researchers, academics, professionals, and students in a variety of accessible formats. Its mission is to serve the needs of scientists and the community at large by working with capable researchers and professionals from across the world to produce the most accurate and up to date scientific and technical resources. For additional information regarding the publisher, please visit http://www.crcpress.com. This publication is anticipated to be released in late 2010.

IMPORTANT DATES

CHAPTER PROPOSAL

* Authors Intention to Contribute (with a txt/word/pdf chapter proposal): November 30, 2009
* Proposals Acceptance Notification: December 15, 2009

FULL CHAPTER SUBMISSION & NOTIFICATION

* Chapters Submission: March 30, 2010
* Notification of Acceptance: June 30, 2010
* Camera-ready Submission: July 30, 2010

PUBLICATION by CRC Press

* Publication: late 2010

INQUIRIES and SUBMISSIONS can be forwarded electronically to the book editor:

Phan Cong-Vinh
PhD in Computing
Centre for Applied Formal Methods
London South Bank University
103 Borough Road, London SE1 0AA, United Kingdom
Email: phanvc@ieee.org
URL: http://phanvc.googlepages.com
Tel: +44 (0)20 7815 7462 Fax: +44 (0)20 7815 7793