Title :
Event-based adaptation policies for Fractal components
Author :
Dormoy, Julien ; Kouchnarenko, Olga
Author_Institution :
LIFC, Univ. of Franche-Comte, Besancon, France
Abstract :
Component-based development is a commonly used technique to build complex systems. In order to satisfy specific requirements, adaptation policies provide a solution to dynamically reconfigure the component model with relation to its environment. This paper is dedicated to Fractal components assembling with a special emphasis on their reconfiguration. We introduce event-based adaptation policies to reconfigure Fractal components. The challenge is to build trustworthy systems and to simulate their executions when considering both functional and non-functional requirements. The contributions are illustrated on an example of an autonomous vehicle location system. Implementation details are given.
Keywords :
formal specification; formal verification; large-scale systems; systems analysis; autonomous vehicle location system; complex systems; component-based development; event-based adaptation policy; fractal components; functional requirements; nonfunctional requirement; trustworthy systems; Context; Corporate acquisitions; Fractals; Integrated circuits; Semantics; Adaptation Policy; Components; Dynamic Reconfiguration; Fractal; Non-functional properties;
Conference_Titel :
Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference on
Conference_Location :
Hammamet
Print_ISBN :
978-1-4244-7716-6
DOI :
10.1109/AICCSA.2010.5586944