Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Formal Modeling of Multicast C...

Formal Modeling of Multicast Communication in 3D NoCs

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Formal Modeling of Multicast Communication in 3D NoCs. In: Paris Kitsos, Smail Niar (Eds.), 14th Euromicro Conference on Digital System Design (DSD 2011), 634 – 642 , IEEE/Euromicro, 2011.

Abstract:

A reliable approach to designing systems is by applying formal methods, based on logics and set theory. In refinement based formal methods, we develop the system models stepwise, from an abstract level to a concrete one by gradually adding details. Each detail-adding level is proved to still validate the properties of the more abstract level. Due to the high complexity and the high reliability requirements of 3D NoCs, formal methods provide promising solutions for modeling and verifying their communication designs. In this paper, we present a general model for specifying the 3D NoC multicast communication scheme. We then refine our model to two communication schemes,: unicast and multicast, via the XYZ routing algorithm in order to put forward the correct-by-construction concrete models.

BibTeX entry:

@INPROCEEDINGS{iKaPeSeDa11a,
  title = {Formal Modeling of Multicast Communication in 3D NoCs},
  booktitle = {14th Euromicro Conference on Digital System Design (DSD 2011)},
  author = {Kamali, Maryam and Petre, Luigia and Sere, Kaisa and Daneshtalab, Masoud},
  editor = {Kitsos, Paris and Niar, Smail},
  publisher = {IEEE/Euromicro},
  pages = {634 – 642 },
  year = {2011},
  keywords = {Formal methods; Event-B; Refinement; 3D NoC; Multicast Communication},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication