DocumentCode
2338508
Title
Event-based adaptation policies for Fractal components
Author
Dormoy, Julien ; Kouchnarenko, Olga
Author_Institution
LIFC, Univ. of Franche-Comte, Besancon, France
fYear
2010
fDate
16-19 May 2010
Firstpage
1
Lastpage
8
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference on
Conference_Location
Hammamet
Print_ISBN
978-1-4244-7716-6
Type
conf
DOI
10.1109/AICCSA.2010.5586944
Filename
5586944
Link To Document