Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Thursday, May 21, 2015 - 9:57:52 AM
Last modification on : Monday, July 4, 2022 - 9:25:57 AM
Long-term archiving on: : Tuesday, September 15, 2015 - 7:12:43 AM


Files produced by the author(s)


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


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, IARIA, 2014, vol. 7 (n° 1), pp. 168-178. ⟨hal-01154072⟩



Record views


Files downloads