• 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