Skip to Main content Skip to Navigation
Theses

Guider et contrôler les reconfigurations de systèmes à composants : Reconfigurations dynamiques: modélisation formelle et validation automatique

Abstract : Our main goal is to allow the usage of temporal properties within an adaptation policy while taking into account runtime verification specificities. In order to reach it, we define a component-based system model that supports dynamic reconfigurations. We introduce guarded reconfigurations in order to use primitive operations as "building blocks" to craft more elaborated reconfigurations involving, not only sequential, but also, alternate and repetitive constructs while ensuring the system's configurations consistency. Furthermore, we extend (to external events) the temporal logic previously used to express architectural constraints on configurations. Using, so called, progressive semantics, we can, in most of the cases, evaluate (in a centralised or decentralised fashion) a temporal expression for a given configuration using evaluations performed only at the previous configuration. We use this logic within adaptation policies enabling the steering and control of dynamic reconfigurations at runtime. Finally, we implemented such adaptation policies in various case studies using frameworks such as Fractal and FraSCAti. We also use behavioural fuzzing to test various specific aspects of a given adaptation policy.
Complete list of metadatas

Cited literature [69 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01967676
Contributor : Jean-Francois Weber <>
Submitted on : Tuesday, January 1, 2019 - 12:06:20 PM
Last modification on : Wednesday, October 14, 2020 - 4:07:28 AM
Long-term archiving on: : Tuesday, April 2, 2019 - 4:39:11 PM

File

phdThesisJFWeberFinalWithRef.p...
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01967676, version 1

Citation

Jean-François Weber. Guider et contrôler les reconfigurations de systèmes à composants : Reconfigurations dynamiques: modélisation formelle et validation automatique. Modélisation et simulation. Université de Franche-Comté (UFC), 2017. Français. ⟨NNT : 2017UBFCD068⟩. ⟨tel-01967676⟩

Share

Metrics

Record views

106

Files downloads

94