Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms

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, a NoC platform requires dynamic monitoring and reconfiguration mechanisms. In this chapter, the authors 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. The authors develop the proposed system within Event-B that provides a means for stepwise and correct-by-construction specification supported by mathematical proofs. Furthermore, the authors show the mechanism of decomposition of Event-B specifications such that a well-structured and hierarchical agent-based management system is derived.