https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Coordinated Actors for Reliable Self-Adaptive Systems
Sharif University of Technology, Iran.
University of California at Berkley, US.
Reykjavik University, Iceland.
Linnaeus University, Sweden.
Show others and affiliations
2017 (English)In: The 13th International Conference on Formal Aspects of Component Software FACS 2016, 2017, Vol. 10231, p. 241-259Conference paper, Published paper (Refereed)
Abstract [en]

Self-adaptive systems are systems that automatically adapt in response to environmental and internal changes, such as possible failures and variations in resource availability. Such systems are often realized by a MAPE-K feedback loop, where Monitor, Analyze, Plan and Execute components have access to a runtime model of the system and environment which is kept in the Knowledge component. In order to provide guarantees on the correctness of a self-adaptive system at runtime, the MAPE-K feedback loop needs to be extended with assurance techniques. To address this issue, we propose a coordinated actor-based approach to build a reusable and scalable model@runtime for self-adaptive systems in the domain of track-based traffic control systems. We demonstrate the approach by implementing an automated Air Traffic Control system (ATC) using Ptolemy tool.We compare different adaptation policies on the ATC model based on performance metrics and analyze combination of policies in different configurations of the model. We enriched our framework with runtime performance analysis such that for any unexpected change, subsequent behavior of the model is predicted and results are used for adaptation at the change-point. Moreover, the developed framework enables checking safety properties at runtime.

Place, publisher, year, edition, pages
2017. Vol. 10231, p. 241-259
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10231
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-34116DOI: 10.1007/978-3-319-57666-4_15ISI: 000418342500015Scopus ID: 2-s2.0-85018304749ISBN: 9783319576657 (print)OAI: oai:DiVA.org:mdh-34116DiVA, id: diva2:1056310
Conference
The 13th International Conference on Formal Aspects of Component Software FACS 2016, 19 Oct 2016, Besancon, France
Available from: 2016-12-14 Created: 2016-12-13 Last updated: 2018-07-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Sirjani, Marjan
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 225 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf