• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Development of NoC Systems in B

Leonidas Tsiopoulos, Marina Waldén, Formal Development of NoC Systems in B. Nordic Journal of Computing 13(1-2), 127 – 145, 2006.

Abstract:

When developing complex Network-on-Chip (NoC) systems we need to ensure that they satisfy their functional requirements. This can be achieved by developing the systems in a structured way using a formal method with tool support. We use the B Action Systems formalism for this purpose. We give a general formal framework for the development of NoC systems avoiding architectures with complex controllers and complex arbiter modules for deciding the routing path of a data packet. The development is performed in a stepwise manner composing more advanced routing components out of simpler units.

BibTeX entry:

@ARTICLE{jTsWa06a,
  title = {Formal Development of NoC Systems in B},
  author = {Tsiopoulos, Leonidas and Waldén, Marina},
  journal = {Nordic Journal of Computing},
  volume = {13},
  number = {1-2},
  pages = {127 – 145},
  year = {2006},
  keywords = {B Method, Action Systems, Network-on-Chip, formal verification, parallel composition},
}

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

Publication Forum rating of this publication: level 1

Edit publication