Model-based design of correct controllers for dynamically reconfigurable architectures

Xin An 1, 2 Eric Rutten 2 Jean-Philippe Diguet 3 Abdoulaye Gamatié 4
3 Lab-STICC_UBS_CACS_MOCS
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.
Liste complète des métadonnées

Littérature citée [36 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01272077
Contributeur : Eric Rutten <>
Soumis le : mardi 16 février 2016 - 09:11:59
Dernière modification le : mercredi 8 novembre 2017 - 14:30:05
Document(s) archivé(s) le : mardi 17 mai 2016 - 17:22:29

Fichier

tecs-clean.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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), ACM, 2016, 15 (3), pp.#51. 〈10.1145/2873056〉. 〈hal-01272077〉

Partager

Métriques

Consultations de
la notice

1575

Téléchargements du document

292