Towards Model-Driven Validation of Autonomic Software Systems in Open Distributed Environments - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Towards Model-Driven Validation of Autonomic Software Systems in Open Distributed Environments

Philippe Merle

Résumé

New distributed systems are running onto fluctuating environments (e.g. ambient or grid computing). These fluctuations must be taken into account when deploying these systems. Autonomic computing aims at realizing programs that implement self-adaptation behaviour. Unfortunately in practice, these programs are not often statically validated, and their execution can lead to emergent undesirable behaviour. In this paper, we argue that static validation is mandatory for large autonomic distributed systems. We identify two kinds of validation that are relevant and crucial when deploying such systems. These validations affect the deployment procedures of software composing a system, as well as the autonomic policies of this system. Using our Dacar model-based framework for deploying autonomic software distributed architectures, we show how we tackle the problem of static validation of autonomic distributed systems
Fichier principal
Vignette du fichier
dubus-madapt-07.pdf (399.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00177071 , version 1 (05-10-2007)

Identifiants

  • HAL Id : hal-00177071 , version 1

Citer

Jérémy Dubus, Philippe Merle. Towards Model-Driven Validation of Autonomic Software Systems in Open Distributed Environments. Workshop M-ADAPT, in conjunction with ECOOP 2007, Jul 2007, Berlin, Germany. ⟨hal-00177071⟩
169 Consultations
117 Téléchargements

Partager

Gmail Facebook X LinkedIn More