Skip to Main content Skip to Navigation
Conference papers

Runtime Configuration Validation for Self-configurable Systems

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

Cited literature [10 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Monday, May 11, 2015 - 9:16:22 AM
Last modification on : Wednesday, June 1, 2022 - 4:03:12 AM
Long-term archiving on: : Monday, September 14, 2015 - 9:45:30 PM


Files produced by the author(s)


  • HAL Id : hal-01150344, version 1
  • OATAO : 12531


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⟩



Record views


Files downloads