Name
Title | ||
|---|---|---|
A Domain-Specific Language for Autonomic Managers in FPGA Reconfigurable Architectures |
Abstract | ||
|---|---|---|
Field Programmable Gate Array (FPGA) architectures are suitable hardware platforms for systems that need high performance and flexibility, because they support dynamic partial reconfiguration (DPR) to implement adaptive hardware algorithms e.g., for performance or energy efficiency. They are used for example in embedded systems such as UAV, e.g. for video processing. It is a challenge to design Autonomic Managers for such highly dynamic systems, taking into account the combinatorial design space of configurations and criteria and policies to decide on whether to reconfigure, and what next configuration to choose. In this paper, we propose a Domain Specific Language (DSL) called Ctrl-DPR, allowing designers to easily generate Autonomic Managers. They can describe their system and their management strategies, in terms of the entities composing the system: tasks, versions, applications, resources, policies. The DSL relies on a behavioural modelling of these entities, targeted at the design of autonomic managers to control the reconfigurations in such a way as to enforce given policies and strategies. The models we use involve automata to describe the state space of configurations, and the transitions representing reconfigurations; they also involve discrete control techniques exploiting such models in order to obtain a correct runtime manager. These model-based control techniques are embedded in a compiler, connected to a reactive language and discrete controller synthesis tool, which enables to generate a C implementation of the controller enforcing the management strategies. We apply our DSL for the management of a video application on a UAV. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1109/ICAC.2018.00021 | 2018 IEEE International Conference on Autonomic Computing (ICAC) |
Keywords | Field | DocType |
FPGA, Dynamic Partial Reconfiguration, Domain Specific Language, Reactive Language | Domain-specific language,Control theory,Video processing,Digital subscriber line,Computer science,Field-programmable gate array,Compiler,State space,Control reconfiguration,Distributed computing | Conference |
ISSN | ISBN | Citations |
2474-0764 | 978-1-5386-5140-7 | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Soguy Mak Karé Gueye | 1 | 12 | 2.01 |
| Gwenaël Delaval | 2 | 96 | 8.86 |
| Éric Rutten | 3 | 255 | 30.50 |
| Dominique Heller | 4 | 14 | 4.28 |
| Jean-Philippe Diguet | 5 | 486 | 67.41 |