Runtime Configuration Validation for Self-configurable 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

Runtime configuration validation is a critical requirement if we are to build reliable self-adaptive systems. This paper describes a model-based approach that supports runtime validation of candidate configurations. The approach is based on MeCSV, a metamodel we propose, that allows a technologyneutral specification of systems' configurations and validity constraints. A constraint-checker relying on this specification verifies dynamically candidate configurations before their deployment. Experimental results with a messaging platform show viable validation overhead demonstrating the feasibility of the approach.

Mots clés: Runtime configuration validation; Candidate confiugartions

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. Runtime Configuration Validation for Self-configurable Systems. IFIP/IEEE International Symposium on Integrated Network Management - IM 2013, May 2013, Ghent, Belgium. pp. 712-715. ⟨hal-01150344⟩