Sciweavers

Share
CBSE
2010
Springer

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

8 years 6 months ago
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.
Gwenaël Delaval, Éric Rutten
Added 02 Sep 2010
Updated 02 Sep 2010
Type Conference
Year 2010
Where CBSE
Authors Gwenaël Delaval, Éric Rutten
Comments (0)
books