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

Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach

Sergey Ostroumov, Leonidas Tsiopoulos, Marina Waldén, Juha Plosila, Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach. In: Seppo Virtanen (Ed.), Advancing Embedded Systems and Real-Time Communications with Emerging Technologies, 302–333, IGI Global, 2014.

http://dx.doi.org/10.4018/978-1-4666-6034-2.ch013

Abstract:

A Network-On-Chip is a paradigm that tackles limitations of traditional bus-based interconnects. It allows complex applications that demand many resources to be deployed on many-core platforms effectively. To satisfy requirements on dependability however, an NoC platform requires dynamic monitoring and reconfiguration mechanisms. In this paper, we propose an agent-based management system that monitors the state of the platform and applies various reconfiguration techniques. These techniques aim at enabling uninterruptable execution of applications satisfying dependability requirements. We develop the proposed system within Event-B that provides a means for stepwise and correct-by-construction specification supported by mathematical proofs. Furthermore, we show the mechanism of decomposition of Event-B specifications such that a well-structured and hierarchical agent-based management system is derived.

BibTeX entry:

@INBOOK{cOsTsWaPl14a,
  title = {Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach},
  booktitle = {Advancing Embedded Systems and Real-Time Communications with Emerging Technologies},
  author = {Ostroumov, Sergey and Tsiopoulos, Leonidas and Waldén, Marina and Plosila, Juha},
  editor = {Virtanen, Seppo},
  publisher = {IGI Global},
  pages = {302–333},
  year = {2014},
  keywords = {Agent, Agent-based management system, Dynamic Reconfiguration, Event-B, Event-B decomposition, NoC (Network-on-Chip), Refinement},
}

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

Publication Forum rating of this publication: level 1

Edit publication