lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Formal Approach for Designing Distributed Self-Adaptive Systems
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för medieteknik (ME). (CeLeKT)
2014 (Engelska)Doktorsavhandling, monografi (Övrigt vetenskapligt)
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. 

Ort, förlag, år, upplaga, sidor
Växjö: Linnaeus University Press, 2014. , s. 275
Serie
Linnaeus University Dissertations ; 171/2014
Nyckelord [en]
Self-Adaptive systems, Formal Methods, MAPE-K, Robustness, Openness, Mobile Learning
Nationell ämneskategori
Datorsystem
Forskningsämne
Data- och informationsvetenskap, Datavetenskap; Data- och informationsvetenskap, Medieteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-34195ISBN: 978-91-87427-85-5 (tryckt)OAI: oai:DiVA.org:lnu-34195DiVA, id: diva2:717423
Disputation
2014-05-12, Weber, 351 95, Växjö, 13:00 (Engelska)
Opponent
Handledare
Projekt
AMULETSTillgänglig från: 2014-05-26 Skapad: 2014-05-15 Senast uppdaterad: 2018-04-26Bibliografiskt granskad

Open Access i DiVA

fulltext(11120 kB)1075 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 11120 kBChecksumma SHA-512
560ae5b47253cd526757851bb5effbae8e775e3d5050993eaf5371a679abd6de9be3e932f1f8e73209c1f3ac1a734a24d2ddaf127b7e1c9e2cf18bc3549ac331
Typ fulltextMimetyp application/pdf

Personposter BETA

Gil de la Iglesia, Didac

Sök vidare i DiVA

Av författaren/redaktören
Gil de la Iglesia, Didac
Av organisationen
Institutionen för medieteknik (ME)
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 1075 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 1870 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf