Generic and adaptable online configuration verification for complex networked systems - Archive ouverte HAL Access content directly
Journal Articles International Journal On Advances in Systems and Measurements Year : 2014

Generic and adaptable online configuration verification for complex networked systems

Abstract

Dynamic reconfiguration is viewed as a promising solution for today's complex networked systems. However, considering the critical missions actual systems support, systematic dynamic reconfiguration cannot be achieved unless the accuracy and the safety of reconfiguration activities are guaranteed. In this paper, we describe a model-based approach for runtime configuration verification. Our approach uses model-driven engineering techniques to implement a platform-independent online configuration verification framework that can operate as a lightweight extension for networked systems management solutions. The framework includes a flexible and adaptable runtime verification service built upon a high-level language dedicated to the rigorous specification of configuration models and constraints guarding structural correctness and service behavior conformance. Experimental results with a real-life messaging platform show viable overhead demonstrating the feasibility of our approach.
Fichier principal
Vignette du fichier
akue_13241.pdf (571.71 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01154072 , version 1 (21-05-2015)

Identifiers

  • HAL Id : hal-01154072 , version 1
  • OATAO : 13241

Cite

Ludi Akue, Emmanuel Lavinal, Thierry Desprats, Michelle Sibilla. Generic and adaptable online configuration verification for complex networked systems. International Journal On Advances in Systems and Measurements, 2014, vol. 7 (n° 1), pp. 168-178. ⟨hal-01154072⟩
92 View
81 Download

Share

Gmail Mastodon Facebook X LinkedIn More