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

Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors

Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila, Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors. International Journal of Embedded and Real-Time Communication Systems 1(2), 23–44, 2010.

Abstract:

Formal methods of concurrent programming can be used to develop and verify complex Multi–Processor Systems–On–Chip in order to ensure that these systems satisfy their functional and communication requirements. The authors use the Action Systems formalism and show how asynchronous communication of Multi–Processor Systems–on–Chip can be modeled using generic connectors composed out of simple channel components. The paper proposes a new approach to modeling generic and hierarchical connectors for handling the complexity of on–chip communication and data flow. The authors’ goal is to avoid overloaded bus–based architectures and give a distributed framework. A case study presents the authors’ modeling methodology.

BibTeX entry:

@ARTICLE{jTsSePl10a,
  title = {Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors},
  author = {Tsiopoulos, Leonidas and Sere, Kaisa and Plosila, Juha},
  journal = {International Journal of Embedded and Real-Time Communication Systems},
  volume = {1},
  number = {2},
  publisher = {IGI GLOBAL},
  pages = {23–44},
  year = {2010},
  keywords = {Action Systems, Asynchronous Communication, Composition, Formal Methods, Multi-Processor Systems-on-Chip},
}

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

Publication Forum rating of this publication: level 1

Edit publication