Agent-Based Management System for Many-Core Platforms: Rigorous Design and Efficient Implementation

G5 Doctoral dissertation (article)

Internal Authors/Editors

Publication Details

List of Authors: Sergey Ostroumov
Publisher: Åbo Akademi University
Place: Turku
Publication year: 2015
ISBN: 978-952-12-3219-0
eISBN: 978-952-12-3219-0


Due to various advantages such as flexibility, scalability and updatability,
software intensive systems are increasingly embedded in everyday life. The
constantly growing number of functions executed by these systems requires a
high level of performance from the underlying platform. The main approach to
incrementing performance has been the increase of operating frequency of a
chip. However, this has led to the problem of power dissipation, which has
shifted the focus of research to parallel and distributed computing.
Parallel many-core platforms can provide the required level of computational
power along with low power consumption. On the one hand, this enables parallel
execution of highly intensive applications. With their computational power,
these platforms are likely to be used in various application domains: from home
use electronics (e.g., video processing) to complex critical control systems. On
the other hand, the utilization of the resources has to be efficient in terms of
performance and power consumption. However, the high level of on-chip
integration results in the increase of the probability of various faults and creation
of hotspots leading to thermal problems. Additionally, radiation, which is
frequent in space but becomes an issue also at the ground level, can cause
transient faults. This can eventually induce a faulty execution of applications.
Therefore, it is crucial to develop methods that enable efficient as well as
resilient execution of applications.
The main objective of the thesis is to propose an approach to design agentbased
systems for many-core platforms in a rigorous manner. When designing
such a system, we explore and integrate various dynamic reconfiguration
mechanisms into agents functionality. The use of these mechanisms enhances
resilience of the underlying platform whilst maintaining performance at an
acceptable level. The design of the system proceeds according to a formal
refinement approach which allows us to ensure correct behaviour of the system
with respect to postulated properties.
To enable analysis of the proposed system in terms of area overhead as well
as performance, we explore an approach, where the developed rigorous models
are transformed into a high-level implementation language. Specifically, we
investigate methods for deriving fault-free implementations from these models
into, e.g., a hardware description language, namely VHDL.

Last updated on 2020-07-06 at 03:19