Composable Controllers in Fractal: Implementation and Interference Analysis

Abdelhakim Hannousse (1, 2) , Rémi Douence (2) , Gilles Ardourel (1)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 ASCOLA - Aspect and composition languages

Fractal component model provides controllers for adding extra-functional capabilities to component behaviors. However, controllers may interfere one with another and their composition is still a challenge. In this article, we extend Fractal with a support for composing controllers with reusable operators. Then, we discuss how to formally model and analyze, in Uppaal, Fractal systems with several controllers. This enables us to detect when controllers interfere and to check whether their composition is interference-free.

Mots clés: Fractal component model; controllers; composition; model checking

Domaines: Génie logiciel [cs.SE]

Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel. Composable Controllers in Fractal: Implementation and Interference Analysis. the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Aug 2011, Oulu, Finland. pp.99. ⟨hal-00606269v2⟩