A Process for Continuous Validation of Self-Adapting Component Based Systems

Viet Hoa Nguyen 1 François Fouquet 1 Noël Plouzeau 1 Olivier Barais 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this paper we propose an approach to integrate the use of time-related stochastic properties in a continuous design process based on models at runtime. Time-related specifica-tion of services are an important aspect of component-based architectures, for instance in distributed, volatile networks of computation nodes. The models at runtime approach eases the management of such architectures by maintaining abstract models of architectures synchronized with the physical, distributed execution platform. For self-adapting systems, prediction of delays and throughput of a component assembly is of utmost importance to take adaptation decision and accept evolutions that conform to time specifications. To this aim we define a metamodel extension based on stochastic Petri nets as an internal time model for prediction. We design a library of patterns to ease the specification and prediction of common time properties of models at runtime and make the synchronization of behaviors and structural changes easier. Our prediction engine is fast enough to perform prediction at runtime in a realistic setting and validate models at runtime.
Type de document :
Communication dans un congrès
7th International Workshop on Models@run.time of the MODELS 2012 Conference., Oct 2012, Innsbruck, Austria. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00764706
Contributeur : Viet Hoa Nguyen <>
Soumis le : jeudi 13 décembre 2012 - 16:03:17
Dernière modification le : vendredi 13 janvier 2017 - 14:21:37
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 00:36:11

Fichier

mrt12_submission_5-9.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00764706, version 1

Collections

INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC

Citation

Viet Hoa Nguyen, François Fouquet, Noël Plouzeau, Olivier Barais. A Process for Continuous Validation of Self-Adapting Component Based Systems. 7th International Workshop on Models@run.time of the MODELS 2012 Conference., Oct 2012, Innsbruck, Austria. 2012. <hal-00764706>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

237

Téléchargements du document

168

Contact


archive-ouverte@inria.fr