Change search
ReferencesLink to record
Permanent link

Direct link
A Formal Approach for Designing Distributed Self-Adaptive Systems
Linnaeus University, Faculty of Technology, Department of Media Technology. (CeLeKT)
2014 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Engineering contemporary distributed software applications is a challenging task due to the dynamic operating conditions in which these systems have to function. Examples are dynamic availability of resources, errors that are difficult to predict, and changing user requirements. These dynamics can affect a number of quality concerns of a system, such as robustness, openness, and performance. The challenges of engineering software systems with such dynamics have motivated the need for self-adaptation. Self-adaptation is based on the principle of separation of concerns, distinguishing two well defined systems: a managed system that deals with domain specific concerns and a managing system that deals with particular quality concerns of the managed system through adaptation with a feedback loop. State of the art in self- adaptation advocates the use of formal methods to specify and verify the system's behavior in order to provide evidence that the system's goals are satisfied. However, little work has been done on the consolidation of design knowledge to model and verify self-adaptation behaviors.

To support designers, this thesis contributes with a set of formally specified templates for the specification and verification of self-adaptive behaviors of a family of distributed self-adaptive systems. The templates are based on the MAPE-K reference model (Monitor-Analyze-Plan-Execute plus Knowledge). The templates comprise: (1) behavior specification patterns for modeling the different MAPE components of a feedback loop, and (2) property specification patterns that support verification of the correctness of the adaptation behaviors. The target domain are distributed applications in which self-adaptation is used for managing resources for robustness and openness requirements. The templates are derived from expertise with developing several self-adaptive systems, including a collaborative mobile learning application in which we have applied self-adaptation to make the system robust to degrading GPS accuracy, and a robotic system in which we apply self-adaptation to support different types of openness requirements. We demonstrate the reusability of the templates in a number of case studies. 

Place, publisher, year, edition, pages
Växjö: Linnaeus University Press, 2014. , 275 p.
Series
Linnaeus University Dissertations, 171/2014
Keyword [en]
Self-Adaptive systems, Formal Methods, MAPE-K, Robustness, Openness, Mobile Learning
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science; Computer and Information Sciences Computer Science, Media Technology
Identifiers
URN: urn:nbn:se:lnu:diva-34195ISBN: 978-91-87427-85-5OAI: oai:DiVA.org:lnu-34195DiVA: diva2:717423
Public defence
2014-05-12, Weber, 351 95, Växjö, 13:00 (English)
Opponent
Supervisors
Projects
AMULETS
Available from: 2014-05-26 Created: 2014-05-15 Last updated: 2016-08-15Bibliographically approved

Open Access in DiVA

fulltext(11120 kB)894 downloads
File information
File name FULLTEXT01.pdfFile size 11120 kBChecksum SHA-512
560ae5b47253cd526757851bb5effbae8e775e3d5050993eaf5371a679abd6de9be3e932f1f8e73209c1f3ac1a734a24d2ddaf127b7e1c9e2cf18bc3549ac331
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Gil de la Iglesia, Didac
By organisation
Department of Media Technology
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 894 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 999 hits
ReferencesLink to record
Permanent link

Direct link