Model-based design of correct controllers for dynamically reconfigurable architectures - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2016

Model-based design of correct controllers for dynamically reconfigurable architectures

Résumé

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.
Fichier principal
Vignette du fichier
tecs-clean.pdf (2.15 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01272077 , version 1 (16-02-2016)

Identifiants

Citer

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⟩
4865 Consultations
577 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More