Self-adaptive software meets control theory : A preliminary approach supporting reliability requirements
(2011) 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 In 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings p.283-292- Abstract
This paper investigates a novel approach to derive self-adaptive software by automatically modifying the model of the application using a control-theoretical approach. Self adaptation is achieved at the model level to assure that the model-which lives alongside the application at run-time- continues to satisfy its reliability requirements, despite changes in the environment that might lead to a violation. We assume that the model is given in terms of a Discrete Time Markov Chain (DTMC). DTMCs can express reliability concerns by modeling possible failures through transitions to failure states. Reliability requirements may be expressed as reachability properties that constrain the probability to reach certain states, denoted as failure... (More)
This paper investigates a novel approach to derive self-adaptive software by automatically modifying the model of the application using a control-theoretical approach. Self adaptation is achieved at the model level to assure that the model-which lives alongside the application at run-time- continues to satisfy its reliability requirements, despite changes in the environment that might lead to a violation. We assume that the model is given in terms of a Discrete Time Markov Chain (DTMC). DTMCs can express reliability concerns by modeling possible failures through transitions to failure states. Reliability requirements may be expressed as reachability properties that constrain the probability to reach certain states, denoted as failure states.
(Less)
- author
- Filieri, Antonio ; Ghezzi, Carlo ; Leva, Alberto and Maggio, Martina LU
- publishing date
- 2011
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- Adaptive software, control theory, dynamic systems, non-functional requirements, reliability, run-time verification
- host publication
- 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings
- series title
- 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings
- article number
- 6100064
- pages
- 10 pages
- conference name
- 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
- conference location
- Lawrence, KS, United States
- conference dates
- 2011-11-06 - 2011-11-10
- external identifiers
-
- scopus:84855465057
- ISBN
- 9781457716393
- DOI
- 10.1109/ASE.2011.6100064
- language
- English
- LU publication?
- no
- additional info
- Copyright: Copyright 2012 Elsevier B.V., All rights reserved.
- id
- 6e880dcd-e0ff-4372-b338-afbefe4ee374
- date added to LUP
- 2021-03-22 11:11:51
- date last changed
- 2022-04-19 05:22:48
@inproceedings{6e880dcd-e0ff-4372-b338-afbefe4ee374, abstract = {{<p>This paper investigates a novel approach to derive self-adaptive software by automatically modifying the model of the application using a control-theoretical approach. Self adaptation is achieved at the model level to assure that the model-which lives alongside the application at run-time- continues to satisfy its reliability requirements, despite changes in the environment that might lead to a violation. We assume that the model is given in terms of a Discrete Time Markov Chain (DTMC). DTMCs can express reliability concerns by modeling possible failures through transitions to failure states. Reliability requirements may be expressed as reachability properties that constrain the probability to reach certain states, denoted as failure states.</p>}}, author = {{Filieri, Antonio and Ghezzi, Carlo and Leva, Alberto and Maggio, Martina}}, booktitle = {{2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings}}, isbn = {{9781457716393}}, keywords = {{Adaptive software; control theory; dynamic systems; non-functional requirements; reliability; run-time verification}}, language = {{eng}}, pages = {{283--292}}, series = {{2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings}}, title = {{Self-adaptive software meets control theory : A preliminary approach supporting reliability requirements}}, url = {{http://dx.doi.org/10.1109/ASE.2011.6100064}}, doi = {{10.1109/ASE.2011.6100064}}, year = {{2011}}, }