Akue, Ludi and Lavinal, Emmanuel and Desprats, Thierry and Sibilla, Michelle Runtime Configuration Validation for Self-configurable Systems. (2013) In: IFIP/IEEE International Symposium on Integrated Network Management - IM 2013, 27 May 2013 - 31 May 2013 (Ghent, Belgium).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 468kB |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Thanks to IEEE editor. The definitive version is available at http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6573060&tag=1 |
| HAL Id: | hal-01150344 |
| Audience (conference): | International conference proceedings |
| Uncontrolled Keywords: | |
| Institution: | Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (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 On: | 05 May 2015 09:34 |
Repository Staff Only: item control page
