A1 Refereed original research article in a scientific journal
Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip
Authors: Ostroumov Sergey, Tsiopoulos Leonidas, Plosila Juha, Sere Kaisa
Publisher: Elsevier
Publication year: 2013
Journal: Journal of Systems Architecture
Journal acronym: JSA
Number in series: 9
Volume: 59
Issue: 9
First page : 709
Last page: 728
Number of pages: 20
ISSN: 1383-7621
DOI: https://doi.org/10.1016/j.sysarc.2013.06.001
Abstract
A Network-On-Chip (NoC) platform is an emerging topology for large-scale applications. It provides a
required number of resources for critical and excessive computations. However, the computations may
be interrupted by faults occurring at run-time. Hence, reliability of computations as well as efficient
resource management at run-time are crucial for such many-core NoC systems. To achieve this, we utilize
an agent-based management system where agents are organized in a three-level hierarchy. We propose
to incorporate reallocation and reconfiguration procedures into agents hierarchy such that fault-tolerance
mechanisms can be executed at run-time. Task reallocation enables local reconfiguration of a core
allowing it to be eventually reused in order to restore the original performance of communication and
computations. The contributions of this paper are: (i) an algorithm for initial application mapping with
spare cores, (ii) a multi-objective algorithm for efficient utilization of spare cores at run-time in order
to enhance fault-tolerance while maintaining efficiency of communication and computations at an adequate
level, (iii) an algorithm integrating the local reconfiguration procedure and (iv) formal modeling
and verification of the dynamic agent-based NoC management architecture incorporating these algorithms
within the Event-B framework.
A Network-On-Chip (NoC) platform is an emerging topology for large-scale applications. It provides a required number of resources for critical and excessive computations. However, the computations may be interrupted by faults occurring at run-time. Hence, reliability of computations as well as efficient resource management at run-time are crucial for such many-core NoC systems. To achieve this, we utilize
an agent-based management system where agents are organized in a three-level hierarchy. We propose to incorporate reallocation and reconfiguration procedures into agents hierarchy such that fault-tolerance mechanisms can be executed at run-time. Task reallocation enables local reconfiguration of a core allowing it to be eventually reused in order to restore the original performance of communication and
computations. The contributions of this paper are: (i) an algorithm for initial application mapping with spare cores, (ii) a multi-objective algorithm for efficient utilization of spare cores at run-time in order to enhance fault-tolerance while maintaining efficiency of communication and computations at an adequate
level, (iii) an algorithm integrating the local reconfiguration procedure and (iv) formal modeling and verification of the dynamic agent-based NoC management architecture incorporating these algorithms within the Event-B framework.
A Network-On-Chip (NoC) platform is an emerging topology for large-scale applications. It provides a
required number of resources for critical and excessive computations. However, the computations may
be interrupted by faults occurring at run-time. Hence, reliability of computations as well as efficient
resource management at run-time are crucial for such many-core NoC systems. To achieve this, we utilize
an agent-based management system where agents are organized in a three-level hierarchy. We propose
to incorporate reallocation and reconfiguration procedures into agents hierarchy such that fault-tolerance
mechanisms can be executed at run-time. Task reallocation enables local reconfiguration of a core
allowing it to be eventually reused in order to restore the original performance of communication and
computations. The contributions of this paper are: (i) an algorithm for initial application mapping with
spare cores, (ii) a multi-objective algorithm for efficient utilization of spare cores at run-time in order
to enhance fault-tolerance while maintaining efficiency of communication and computations at an adequate
level, (iii) an algorithm integrating the local reconfiguration procedure and (iv) formal modeling
and verification of the dynamic agent-based NoC management architecture incorporating these algorithms
within the Event-B framework.
A Network-On-Chip (NoC) platform is an emerging topology for large-scale applications. It provides a required number of resources for critical and excessive computations. However, the computations may be interrupted by faults occurring at run-time. Hence, reliability of computations as well as efficient resource management at run-time are crucial for such many-core NoC systems. To achieve this, we utilize
an agent-based management system where agents are organized in a three-level hierarchy. We propose to incorporate reallocation and reconfiguration procedures into agents hierarchy such that fault-tolerance mechanisms can be executed at run-time. Task reallocation enables local reconfiguration of a core allowing it to be eventually reused in order to restore the original performance of communication and
computations. The contributions of this paper are: (i) an algorithm for initial application mapping with spare cores, (ii) a multi-objective algorithm for efficient utilization of spare cores at run-time in order to enhance fault-tolerance while maintaining efficiency of communication and computations at an adequate
level, (iii) an algorithm integrating the local reconfiguration procedure and (iv) formal modeling and verification of the dynamic agent-based NoC management architecture incorporating these algorithms within the Event-B framework.
UTU Research Portal