Skip to Main content Skip to Navigation
New interface
Journal articles

Model-based design of correct controllers for dynamically reconfigurable architectures

Xin An 1, 2 Eric Rutten 2 Jean-Philippe Diguet 3 Abdoulaye Gamatié 4 
2 CTRL-A - Control for Autonomic computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
4 SysMIC - Conception et Test de Systèmes MICroélectroniques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Dynamically reconfigurable hardware has been identified as a promising solution for the design of energy efficient embedded systems. However, its adoption is limited by the costly design effort including verification and validation, which is even more complex than for non dynamically reconfigurable systems. In this paper, we propose a tool-supported formal method to automatically design a correct-by-construction control of the reconfiguration. By representing system behaviors with automata, we exploit automated algorithms to synthesize controllers that safely enforce reconfiguration strategies formulated as properties to be satisfied by control. We design generic modeling patterns for a class of reconfigurable architectures, taking into account both hardware architecture and applications, as well as relevant control objectives. We validate our approach on two case studies implemented on FPGAs.
Complete list of metadata

Cited literature [36 references]  Display  Hide  Download
Contributor : Éric Rutten Connect in order to contact the contributor
Submitted on : Tuesday, February 16, 2016 - 9:11:59 AM
Last modification on : Friday, August 5, 2022 - 10:48:15 AM
Long-term archiving on: : Tuesday, May 17, 2016 - 5:22:29 PM


Files produced by the author(s)



Xin An, Eric Rutten, Jean-Philippe Diguet, Abdoulaye Gamatié. Model-based design of correct controllers for dynamically reconfigurable architectures. ACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (3), pp.#51. ⟨10.1145/2873056⟩. ⟨hal-01272077⟩



Record views


Files downloads