Run time models in adaptive service infrastructure - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2010

Run time models in adaptive service infrastructure

Marco Autili
  • Fonction : Auteur
  • PersonId : 854161
Paola Inverardi
  • Fonction : Auteur
  • PersonId : 861034
Massimo Tivoli
  • Fonction : Auteur
  • PersonId : 861036

Résumé

Software in the near ubiquitous future will need to cope with vari- ability, as software systems get deployed on an increasingly large diversity of computing platforms and operates in different execution environments. Heterogeneity of the underlying communication and computing infrastruc- ture, mobility inducing changes to the execution environments and therefore changes to the availability of resources and continuously evolving requirements require software systems to be adaptable according to the context changes. Software systems should also be reliable and meet the user's requirements and needs. Moreover, due to its pervasiveness, software systems must be de- pendable. Supporting the validation of these self-adaptive systems to ensure dependability requires a complete rethinking of the software life cycle. The traditional division among static analysis and dynamic analysis is blurred by the need to validate dynamic systems adaptation. Models play a key role in the validation of dependable systems, dynamic adaptation calls for the use of such models at run time. In this paper we describe the approach we have un- dertaken in recent projects to address the challenge of assessing dependability for adaptive software systems.
Fichier principal
Vignette du fichier
21_ROSSA09.pdf (1.76 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00512432 , version 1 (18-11-2010)

Identifiants

  • HAL Id : inria-00512432 , version 1

Citer

Marco Autili, Paola Inverardi, Massimo Tivoli. Run time models in adaptive service infrastructure. Danilo Ardagna, Li Zhang. Runtime Models for Self-managing Systems and Applications, Springer, 2010. ⟨inria-00512432⟩

Collections

CONNECT
64 Consultations
115 Téléchargements

Partager

Gmail Facebook X LinkedIn More