Skip to Main content Skip to Navigation
Book sections

Run time models in adaptive service infrastructure

Abstract : 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.
Document type :
Book sections
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Massimo Tivoli Connect in order to contact the contributor
Submitted on : Thursday, November 18, 2010 - 12:55:44 PM
Last modification on : Thursday, January 6, 2022 - 5:30:02 PM
Long-term archiving on: : Saturday, February 19, 2011 - 2:31:48 AM


Files produced by the author(s)


  • HAL Id : inria-00512432, version 1



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⟩



Record views


Files downloads