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
Deriving mode logic for autonomous resilient systems
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.
2018 (English)In: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Springer Verlag , 2018, p. 320-336Conference paper, Published paper (Refereed)
Abstract [en]

Ensuring system resilience – dependability in presence of changes – is a complex engineering task. To achieve resilience, a system should not only autonomously cope with non-deterministically changing internal state and external operating conditions but also proactively reconfigure to maintain efficiency. To facilitate structuring and verifying such complex system behavior, in this paper, we demonstrate how to derive resilience-enhancing mode transition logic from the goals that the system should achieve. Our approach is formalised in Event-B that allows us to reason about resilience mechanisms at different architectural levels. We illustrate the proposed approach by an example – safe and efficient navigation of a swarm of drones. 

Place, publisher, year, edition, pages
Springer Verlag , 2018. p. 320-336
Keywords [en]
Air navigation, Computer circuits, Architectural levels, Complex engineering, External operating conditions, Mode transitions, Resilience mechanism, Resilient systems, System behaviors, System resiliences, Formal methods
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-247478DOI: 10.1007/978-3-030-02450-5_19Scopus ID: 2-s2.0-85056823473ISBN: 9783030024499 (print)OAI: oai:DiVA.org:kth-247478DiVA, id: diva2:1302602
Conference
12 November 2018 through 16 November 2018
Note

QC20190405

Available from: 2019-04-05 Created: 2019-04-05 Last updated: 2019-04-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Troubitsyna, Elena

Search in DiVA

By author/editor
Troubitsyna, Elena
By organisation
Theoretical Computer Science, TCS
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 4 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