Generic and adaptable online configuration verification for complex networked systems

Ludi Akue (1) , Emmanuel Lavinal (1) , Thierry Desprats (1, 2) , Michelle Sibilla (1)

1 IRIT-SIERA - Service IntEgration and netwoRk Administration
2 UT3 - Université Toulouse III - Paul Sabatier

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.

Mots clés: Online verification; Configuration verification; Dynamic reconfiguration; Network and service management; Model-based approach

Domaines: Réseaux et télécommunications [cs.NI]; Système d'exploitation [cs.OS]; Architectures Matérielles [cs.AR]; Systèmes embarqués

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⟩