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

Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms

Sergey Ostroumov, Leonidas Tsiopoulos, Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. International Journal of Embedded and Real-Time Communication Systems 3(2), 40–72, 2012.

Abstract:

Sophisticated applications deployed on multi-core platforms require many resources as well as dynamic monitoring of the platform to provide efficiently and reliably the needed functionality. In this paper, the authors propose an approach to formal modelling with adequate tool support of an agent-based system whose function is to dynamically monitor the state of the multi-core platform and perform reconfiguration procedures under faults. For this purpose, the authors use the Event-B formalism which allows them to stepwise develop correct-by-construction specifications by mathematical proofs. Furthermore, the formalism enables the decomposition of a specification, which makes it possible to implement a well structured and hierarchical agent-based monitoring system.

BibTeX entry:

@ARTICLE{jOsTs12a,
  title = {Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms},
  author = {Ostroumov, Sergey and Tsiopoulos, Leonidas},
  journal = {International Journal of Embedded and Real-Time Communication Systems},
  volume = {3},
  number = {2},
  publisher = {IGI},
  pages = {40–72},
  year = {2012},
  keywords = {Agent-Based Monitoring Systems, Event-B Formalism, Network-on-Chip (NoC), NoC-based Platforms, Reconfiguration},
}

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

Publication Forum rating of this publication: level 1

Edit publication