A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable Architectures

Soguy Mak-Karé Gueye 1 Gwenaël Delaval 2 Éric Rutten 1, 2 Dominique Heller 3 Jean-Philippe Diguet 3
1 CTRL-A - Control techniques for Autonomic, adaptive and Reconfigurable Computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 Lab-STICC_IMTA_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Field Programmable Gate Array (FPGA) architec-tures 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 combina-torial 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, ressources, 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.
Type de document :
Communication dans un congrès
ICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. IEEE, pp.1-10
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01868675
Contributeur : Eric Rutten <>
Soumis le : mercredi 5 septembre 2018 - 16:34:20
Dernière modification le : samedi 15 septembre 2018 - 01:12:56

Fichier

icac18final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01868675, version 1

Citation

Soguy Mak-Karé Gueye, Gwenaël Delaval, Éric Rutten, Dominique Heller, Jean-Philippe Diguet. A Domain-specific Language for Autonomic Managers in FPGA Reconfigurable Architectures. ICAC 2018 - 15th IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. IEEE, pp.1-10. 〈hal-01868675〉

Partager

Métriques

Consultations de la notice

84

Téléchargements de fichiers

29