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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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
Coordinated actors for reliable self-adaptive systems
Sharif University Of Technology, Iran.
University of California at Berkeley, USA.
University of Tehran, Iran ; Reykjavik University, Iceland.
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).ORCID-id: 0000-0002-0377-5595
Visa övriga samt affilieringar
2017 (Engelska)Ingår i: FACS 2016 : Formal Aspects of Component Software: International Workshop on Formal Aspects of Component Software, Springer, 2017, s. 241-259Konferensbidrag, Publicerat paper (Refereegranskat)
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. © Springer International Publishing AG 2017.

Ort, förlag, år, upplaga, sidor
Springer, 2017. s. 241-259
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 10231
Nyckelord [en]
Air Traffic Control System, Cyber physical system, Model@runtime, Performance analysis, Self-adaptive system
Nationell ämneskategori
Programvaruteknik
Forskningsämne
Datavetenskap, Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-64659DOI: 10.1007/978-3-319-57666-4_15ISI: 000418342500015Scopus ID: 2-s2.0-85018304749ISBN: 978-3-319-57665-7 (tryckt)ISBN: 978-3-319-57666-4 (digital)OAI: oai:DiVA.org:lnu-64659DiVA, id: diva2:1104935
Konferens
13th International Conference on Formal Aspects of Component Software, FACS 2016; Besancon; France; 19 - 21 October, 2016
Tillgänglig från: 2017-06-02 Skapad: 2017-06-02 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopusfulltext (read only)

Personposter BETA

Khakpour, Narges

Sök vidare i DiVA

Av författaren/redaktören
Khakpour, Narges
Av organisationen
Institutionen för datavetenskap (DV)
Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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