Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Deriving Mode Logic for Autono...

Deriving Mode Logic for Autonomous Resilient Systems

Inna Vistbakka, Amin Majd, Elena Troubitsyna, Deriving Mode Logic for Autonomous Resilient Systems. In: Jing Sun, Meng Sun (Eds.), Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, {ICFEM} 2018, Lecture Notes in Computer Science 11232, 320–336, Springer, 2018.

http://dx.doi.org/10.1007/978-3-030-02450-5\_19

Abstract:

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.

BibTeX entry:

@INPROCEEDINGS{inpViMaTr18b,
  title = {Deriving Mode Logic for Autonomous Resilient Systems},
  booktitle = {Formal Methods and Software Engineering - 20th International Conference  on Formal Engineering Methods, {ICFEM} 2018},
  author = {Vistbakka, Inna and Majd, Amin and Troubitsyna, Elena},
  volume = {11232},
  series = {Lecture Notes in Computer Science},
  editor = {Sun, Jing and Sun, Meng},
  publisher = {Springer},
  pages = {320–336},
  year = {2018},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 2

Edit publication