Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model

Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce safety properties on the interactions between components, concerning, e.g., mutual exclusions, forbidden or imposed sequences. We use a reactive programming language, with a new mechanism of behavioural contracts. Its compilation involves discrete controller synthesis, which automatically generates the correct adaptation controllers. We apply our approach to the problem of adaptive ressource management, illustrated by the example of a HTTP server.

• Type: Conference
• Year: 2010
• Where: CBSE
• Authors: Gwenaël Delaval, Éric Rutten
• Keywords: CBSE 2010, Discrete Controller Synthesis, Fractal Component-based Framework, Reconfiguration Controllers, Software Engineering