Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures

2018 IEEE Conference on Control Technology and Applications (CCTA)

et al. 2018

Self Cite

Embedded systems need to be more and more self-adaptive, in order to better manage their constrained resources, and to better take into account evolutions in their environment and in their computing architecture. They can benefit from Field Programmable Gate Array (FPGA) architectures , which supports Dynamic Partial Reconfiguration (DPR) of the running fonctions, enabling improved performance and power consumption. The reconfigurations need to be decided and controlled in a closed loop. We approach this problem by applying techniques from the area of Supervisory Control for Discrete Event Systems (DES), where the space of configurations at the different levels (application, tasks, hardware platform) are modeled with automata, using the tools Heptagon/BZR and ReaX. This paper contributes with (i) generic modeling of the behaviors and objectives ; (ii) applications of Discrete Controller Synthesis (DCS), especially logico-numerical control ; (iii) concrete implementation on a FPGA hardware platform for an embedded video processing case study.

Section: Contributionsmentioning

confidence: 99%

Section: A Dynamic Partial Reconfigurable Fpgamentioning

confidence: 99%

Section: B Configurations Space 1) Architectural Resourcesmentioning

confidence: 99%

See 1 more Smart Citation

Discrete and Logico-Numerical Control for Dynamic Partial Reconfigurable FPGA-Based Embedded Systems: A Case Study

Gueye

2018 IEEE Conference on Control Technology and Applications (CCTA)

et al. 2018

Self Cite

“…In embedded systems, this concerns our work on model-based reconfiguration control in Dynamically Partially Reconfigurable hardware architectures based on FPGA [37]. In smart environments and the Internet of Things, it can add on to our activities in the management of the reconfiguration of functionalities and their implementation, on top of the rulebased middleware Linc.…”

Section: B Compilation Performance Analysismentioning

confidence: 99%

Language Support for Modular Autonomic Managers in Reconfigurable Software Components

Alvares

2017 IEEE International Conference on Autonomic Computing (ICAC)

et al. 2017

Self Cite

Abstract-Dynamic reconfiguration is a key capability of Component-based Software Systems to achieve self-adaptation as it provides means to cope with environment changes at runtime. The space of configurations is defined by the possible assemblies of components, and navigating this space while achieving goals and maintaining structural properties is managed in an autonomic loop. The natural architectural structure of componentbased systems calls for hierarchy and modularity in the design and implementation of composites and their managers, and requires support for coordinated multiple autonomic loops.In this paper, we leverage the modularity capability to strengthen the Domain-Specific Language (DSL) Ctrl-F, targeted at the design of autonomic managers in componentbased systems. Its original definition involved discrete controltheoretical management of reconfigurations, providing assurances on the automated behaviors. The objective of modularity is two-fold: from the design perspective, it allows designers to seamlessly decompose a complex system into smaller pieces of reusable architectural elements and adaptive behaviours. From the compilation point of view, we provide a systematical and generative approach to decompose control problems described in the architectural level while relying on mechanisms of modular Discrete Control Synthesis (DCS), which allows us to cope with the combinatorial complexity that is inherent to DCS problems. We show the applicability of our approach by applying it to the self-adaptive case study of the existing RUBiS/Brownout eBaylike web auction system.

“…We us a high level programming language for specification of possible configurations, tools such as Discrete Controller Synthesis, and powerful compilers automatically generating an executable implementation in C. This approach produces correct-by-construction controllers enforcing desired control objectives, and avoids error-prone manual programming and tedious debugging. We had previous work and experience on the systematic but manual design of reconfiguration controllers for FPGA using such a reactive language [7], [8], [9].…”

Section: Introductionmentioning

confidence: 99%

A Domain-Specific Language for Autonomic Managers in FPGA Reconfigurable Architectures

Gueye

2018 IEEE International Conference on Autonomic Computing (ICAC)

et al. 2018

Self Cite

Field Programmable Gate Array (FPGA) architectures are suitable hardware platforms for systems that need high performance and flexibility, because they support dynamic partial reconfiguration (DPR) to implement adaptive hardware algorithms e.g., for performance or energy efficiency. They are used for example in embedded systems such as UAV, e.g. for video processing. It is a challenge to design Autonomic Managers for such highly dynamic systems, taking into account the combinatorial design space of configurations and criteria and policies to decide on whether to reconfigure, and what next configuration to choose. In this paper, we propose a Domain Specific Language (DSL) called Ctrl-DPR, allowing designers to easily generate Autonomic Managers. They can describe their system and their management strategies, in terms of the entities composing the system : tasks, versions, applications, ressources, policies. The DSL relies on a behavioural modelling of these entities, targeted at the design of autonomic managers to control the reconfigurations in such a way as to enforce given policies and strategies. The models we use involve automata to describe the state space of configurations, and the transitions representing reconfigurations; they also involve discrete control techniques exploiting such models in order to obtain a correct runtime manager. These model-based control techniques are embedded in a compiler, connected to a reactive language and discrete controller synthesis tool, which enables to generate a C implementation of the controller enforcing the management strategies. We apply our DSL for the management of a video application on a UAV.