Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime

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 : Self-adaptation allows systems to modify their structure and/or their behaviour depending on the environment and the system itself. Since reconfigurations must not happen at any but in suitable circumstances, guiding and controlling dynamic reconfigurations at runtime is an important issue. This paper contributes to two essential topics of the self-adaptation---a runtime temporal properties evaluation, and a decentralization of control loopsSelf-adaptation allows systems to modify their structure and/or their behaviour depending on the environment and the system itself. Since reconfigurations must not happen at any but in suitable circumstances, guiding and controlling dynamic reconfigurations at runtime is an important issue. This paper contributes to two essential topics of the self-adaptation - a runtime temporal properties evaluation, and a decentralization of control loops. It extends the work on the adaptation of component-based systems at runtime via policies with temporal patterns by providing a) a specific progressive semantics of temporal patterns and b) a decentralised method which is suitable to deal with temporal patterns of component-based systems at runtime.
Document type :
Other publications
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01044639
Contributor : Jean-Francois Weber <>
Submitted on : Thursday, September 18, 2014 - 9:41:36 AM
Last modification on : Thursday, February 7, 2019 - 4:20:40 PM
Long-term archiving on : Friday, December 19, 2014 - 10:55:21 AM

File

hal2014_decentralised_v4.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01044639, version 4

Citation

Olga Kouchnarenko, Jean-Francois Weber. Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime. 2014. ⟨hal-01044639v4⟩

Share

Metrics

Record views

403

Files downloads

157