Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Refinement-Based Modeling of 3...

Refinement-Based Modeling of 3D NoCs

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Refinement-Based Modeling of 3D NoCs. In: Farhad Arbab, Marjan Sirjani (Eds.), 4th IPM International Conference on Fundamentals of Software Engineering, Lecture Notes in Computer Science 7141, 236–252, Springer, 2012.

Abstract:

Three-dimensional Networks-on-Chip (3D NoC) have recently emerged essentially via the stacking of multiple layers of two-dimensional NoCs. The resulting structures can support a very high level of parallelism for both communication and computation as well as higher speeds, at the cost of increased complexity. To address the potential problems due to the highly complex NoCs, we study them with formal methods. In particular, we base our study on the re finement relation between models of the same system. We propose three abstract models of 3D NoCs, M0, M1, and M2 so that M0 -> M1 -> M2, where `->' denotes the refi nement relation. Each of these models provides templates for communication constraints and guarantees the communication correctness. We then show how to employ one of these models for reasoning about the communication correctness of the XYZ-routing algorithm.

BibTeX entry:

@INPROCEEDINGS{inpKaPeSeDa12a,
  title = {Refinement-Based Modeling of 3D NoCs},
  booktitle = {4th IPM International Conference on Fundamentals of Software Engineering},
  author = {Kamali, Maryam and Petre, Luigia and Sere, Kaisa and Daneshtalab, Masoud},
  volume = {7141},
  series = {Lecture Notes in Computer Science},
  editor = {Arbab, Farhad and Sirjani, Marjan},
  publisher = {Springer},
  pages = {236–252},
  year = {2012},
  keywords = {Formal Methods, Network-on-Chips, Event-B, Refinement},
}

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

Publication Forum rating of this publication: level 1

Edit publication