OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Generic and adaptable online configuration verification for complex networked systems

Akue, Ludi and Lavinal, Emmanuel and Desprats, Thierry and Sibilla, Michelle Generic and adaptable online configuration verification for complex networked systems. (2014) International journal on advances in systems and measurements, 7 (1). 168-178. ISSN 1942-261X

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
585kB

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.

Item Type:Article
Additional Information:Thanks to IARIA editor. The definitive version is available at http://www.iariajournals.org The original PDF of the article can be found at International journal on advances in systems and measurements website : http://www.iariajournals.org/systems_and_measurements/
HAL Id:hal-01154072
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:05 Feb 2015 15:19

Repository Staff Only: item control page