Title | ||
---|---|---|
Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures. |
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 costly design effort, including verification and validation, which is even more complex than for nondynamically reconfigurable systems. In this article, 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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1145/2873056 | ACM Trans. Embedded Comput. Syst. |
Keywords | Field | DocType |
Dynamical partial reconfiguration,automata models | Verification and validation,Computer science,Field-programmable gate array,Model-based design,Real-time computing,Formal methods,Control reconfiguration,Reconfigurable computing,Software verification,Distributed computing,Hardware architecture,Embedded system | Journal |
Volume | Issue | ISSN |
15 | 3 | 1539-9087 |
Citations | PageRank | References |
6 | 0.50 | 24 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xin An | 1 | 20 | 3.84 |
Éric Rutten | 2 | 255 | 30.50 |
Jean-Philippe Diguet | 3 | 486 | 67.41 |
Abdoulaye Gamatié | 4 | 251 | 30.18 |