Logico-numerical control for software components reconfiguration

Berthier, Nicolas; Alvaresd, Frederico; Marchand, Hervé; Delaval, Gwenaël; Rutten, Éric

doi:10.1109/ccta.2017.8062685

Cited by 5 publications

(5 citation statements)

References 23 publications

(33 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Perspectives are in several directions, amongst which coordination of multiple autonomic loops, switching controllers (integrating into the DSL schemes explored in another context [21]) ; modularity and hierarchical loops, both for re-use and to managed compilation complexity, and considering more advanced discrete control features like logico-numeric properties [22], [23] ; and integrating the DSL for Autonomic Managers into a global design process for FPGA-based applications.…”

Section: Discussionmentioning

confidence: 99%

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

Gueye

Delaval

Rutten

et al. 2018

2018 IEEE International Conference on Autonomic Computing (ICAC)

Self Cite

View full text Add to dashboard 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.

show abstract

Section: Discussionmentioning

confidence: 99%

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

Gueye

Delaval

Rutten

et al. 2018

2018 IEEE International Conference on Autonomic Computing (ICAC)

Self Cite

View full text Add to dashboard Cite

show abstract

“…On the control side, we plan to consider more elaborate techniques which made their proof when applied to other computing systems, e.g. adaptive [22], discrete [23], or stochastic. Another promising research direction is to adopt an integral point of view of the infrastructure.…”

Section: ) Perspectivesmentioning

confidence: 99%

Towards a control-theory approach for minimizing unused grid resources

Stahl

Yabo

Richard

et al. 2018

Proceedings of the 1st International Workshop on Autonomous Infrastructure for Science

Self Cite

View full text Add to dashboard Cite

HPC systems are facing more and more variability in their behavior, related to e.g., performance and power consumption, and the fact that they are less predictable requires more runtime management. This can be done in an Autonomic Management feedback loop, in response to monitored information in the systems, by analysis of this data and utilization of the results in order to activate appropriate system-level or application-level feedback mechanisms (e.g., informing schedulers, down-clocking CPUs). One such problem is found in the context of CiGri, a simple, lightweight, scalable and fault tolerant grid system which exploits the unused resources of a set of computing clusters. Computing power left over by the execution of a main HPC application scheduling is used to execute smaller jobs, which are injected as much as the global system allows. This paper presents first results addressing the problem of automated resource management in an HPC infrastructure, using techniques from Control Theory to design a controller that maximizes cluster utilization while avoiding overload. We put in place a mechanism for feedback (Proportional Integral, PI) control system software, through a maximum number of jobs to be sent to the cluster, in response to system information about the current number of jobs processed.

show abstract

“…We are following the same approach of DES model-based design of reconfiguration controllers on different classes of computing systems. We consider small, embedded hardware systems, such as FPGA [10] as well as larger, more distributed software systems like web servers in the Cloud [3], [1], or heterogeneous platforms, composed of numerous devices with very different computation power, operating systems and communication protocols, like in the domain of the Internet of Things (e.g., smart buildings [16]). These works are distinguished by their very different target computing systems, w.r.t.…”

Section: B Application Of Des Control With Heptagon/bzrmentioning

confidence: 99%

Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings

Sylla

Louvel²,

Rutten

et al. 2018

2018 IEEE Conference on Control Technology and Applications (CCTA)

Self Cite

View full text Add to dashboard Cite

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

Logico-numerical control for software components reconfiguration

Cited by 5 publications

References 23 publications

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

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

Towards a control-theory approach for minimizing unused grid resources

Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings

Contact Info

Product

Resources

About