Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures
Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures
复制标题
动态可重构架构的正确控制器的基于模型的设计
DOI：
10.1145/2873056
复制
发表时间：
2016-07-01
影响因子：
2
通讯作者：
Gamatie, Abdoulaye
中科院分区：
文献类型：
--
作者：
An, Xin;Rutten, Eric;Gamatie, Abdoulaye
动态可重构硬件已被确定为一个有前途的解决方案，设计节能的嵌入式系统。然而，它的采用是有限的昂贵的设计工作，包括验证和确认，这是更复杂的比非动态可重构系统。在这篇文章中，我们提出了一个工具支持的形式化方法来自动设计一个正确的重构控制。通过自动机表示系统行为，我们利用自动化算法来合成控制器，安全地执行重新配置策略，制定为控制要满足的属性。我们设计了一类可重构体系结构的通用建模模式，同时考虑到硬件体系结构和应用，以及相关的控制目标。我们验证了我们的方法在FPGA上实现的两个案例研究。
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.