Home // VALID 2012, The Fourth International Conference on Advances in System Testing and Validation Lifecycle // View article

A Model-Based Approach to Validate Configurations at Runtime

Authors:
Ludi Akue
Emmanuel Lavinal
Michelle Sibilla

Keywords: dynamic reconfiguration; configuration validation, configuration specification, model-based approach.

Abstract:
Dynamic reconfiguration is viewed as a promising solution for today’s large scale and heterogeneous computing environments. However, considering the critical missions networked systems support, dynamic reconfiguration cannot be achieved unless the accuracy of its behaviors is guaranteed. For that reason, dynamic reconfiguration solutions should provide validation capabilities to ensure the correctness and the safety of reconfiguration activities. Current solutions mainly address use-case specific configuration validation or fail to handle the additional operational validity requirements induced by dynamic reconfiguration. In this paper, we describe a model-based approach for validating configuration changes at runtime. The approach is based on MeCSV, a metamodel that allows a platform and vendor-independent specification of a reference model, that is, the configuration schema of the managed system as well as constraints that should be respected for structural consistency and operational compliance. We provide an overview of the MeCSV language and demonstrate the feasibility of this approach using a messaging platform case study

Pages: 133 to 138

Copyright: Copyright (c) IARIA, 2012

Publication date: November 18, 2012

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-233-2

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012