Adapting Component-based Systems at Runtime via Policies with Temporal Patterns

Olga Kouchnarenko 1, 2 Jean-Francois Weber 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Dynamic reconfiguration allows adding or removing components of component-based systems without incurring any system downtime. To satisfy specific requirements, adaptation policies provide the means to dynamically reconfigure the systems in relation to (events in) their environment. This paper extends event-based adaptation policies by integrating temporal requirements into them. The challenge is to reconfigure component-based systems at runtime while considering both their functional and non-functional requirements. We illustrate our theoretical contributions with an example of an autonomous vehicle location system. An implementation using the Fractal component model constitutes a practical contribution. It enables dynamic reconfigurations guided by either enforcement or reflection adaptation policies.
Document type :
Conference papers
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download
Contributor : Jean-Francois Weber <>
Submitted on : Sunday, February 2, 2014 - 3:14:40 PM
Last modification on : Wednesday, December 19, 2018 - 1:08:13 PM
Long-term archiving on : Sunday, April 9, 2017 - 5:44:48 AM


Files produced by the author(s)


  • HAL Id : hal-00940682, version 1


Olga Kouchnarenko, Jean-Francois Weber. Adapting Component-based Systems at Runtime via Policies with Temporal Patterns. 10th International Symposium on Formal Aspect of Component Software - FACS 2013, Oct 2013, Nanchang, China. ⟨hal-00940682⟩



Record views


Files downloads