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

CorreComm: A Formal Hierarchical Framework for Communication Designs

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, CorreComm: A Formal Hierarchical Framework for Communication Designs. In: Danny Hughes, Kevin Lee, Ka Lok Man (Eds.), 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011), 1–7, IEEE Computer Society, 2011.

Abstract:

The number of communicating components has tremendously increased, both at the chip-level communication as well as in general networks. This leads to an increased complexity in the design of communication infrastructures. In order to rely on such complex communication designs, we need a correspondingly increased verification effort. In this paper we propose a structured framework named CorreComm to alleviate the modeling and verifying of communication designs. We describe the correct-by-construction structure of our framework and demonstrate its applicability as a communication design pattern, by instantiating it to two specific communication models.

BibTeX entry:

@INPROCEEDINGS{inpKaPeSeDa11a,
  title = {CorreComm: A Formal Hierarchical Framework for Communication Designs},
  booktitle = {2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011)},
  author = {Kamali, Maryam and Petre, Luigia and Sere, Kaisa and Daneshtalab, Masoud},
  editor = {Hughes, Danny and Lee, Kevin and Man, Ka Lok},
  publisher = {IEEE Computer Society},
  pages = {1–7},
  year = {2011},
  keywords = {Communication designs , Communication patterns , Event-B , Formal methods , Refinement },
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Embedded Computer and Electronic Systems (ECES)

Publication Forum rating of this publication: level 1

Edit publication