What is it about?
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.
Featured Image
Photo by Marcello Gennari on Unsplash
Why is it important?
Adding extra-functional capabilities to component behaviors may interfere one with another and their composition is still a challenge.
Perspectives
Some parts of the scheme can be automated such as the generation of composites and bindings from Fractal-ADL. We plan to develop such an Uppaal transformer.
Pr. Abdelhakim Hannousse
Universite 8 Mai 1945 Guelma
Read the Original
This page is a summary of: Composable Controllers in Fractal: Implementation and Interference Analysis, August 2011, Institute of Electrical & Electronics Engineers (IEEE),
DOI: 10.1109/seaa.2011.18.
You can read the full text:
Contributors
The following have contributed to this page
