Deriving Mode Logic for Autonomous Resilient Systems

Inna Vistbakka; Amin Majd; Elena Troubitsyna

doi:10.1007/978-3-030-02450-5_19

Deriving Mode Logic for Autonomous Resilient Systems

Inna Vistbakka, Amin Majd, Elena Troubitsyna

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2 Citeringar (Scopus)

Sammanfattning

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.

Originalspråk	Odefinierat/okänt
Titel på gästpublikation	Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Redaktörer	Jing Sun, Meng Sun
Förlag	Springer
Sidor	320–336
ISBN (elektroniskt)	978-3-030-02450-5
ISBN (tryckt)	978-3-030-02449-9
DOI	https://doi.org/10.1007/978-3-030-02450-5_19
Status	Publicerad - 2018
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Formal Engineering Methods, ICFEM - 20th International Conference on Formal Engineering Methods, ICFEM 2018 Varaktighet: 12 nov 2018 → …

Konferens

Konferens	International Conference on Formal Engineering Methods, ICFEM
Period	12/11/18 → …

Nyckelord

Event-B
Formal modelling
Resilient Systems
Swarm of drones

Åtkomst av dokument

10.1007/978-3-030-02450-5_19

1 Slutfört

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E., Vistbakka, I. & Majd, A.
01/01/18 → 31/12/19
Projekt: Forskning

Citera det här

Vistbakka, I., Majd, A., & Troubitsyna, E. (2018). Deriving Mode Logic for Autonomous Resilient Systems. I J. Sun, & M. Sun (Red.), Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (s. 320–336). Springer. https://doi.org/10.1007/978-3-030-02450-5_19

@inproceedings{c81b8862be3f4bf6b01afefae8378f70,

title = "Deriving Mode Logic for Autonomous Resilient Systems",

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.",

keywords = "Event-B, Formal modelling, Resilient Systems, Swarm of drones, Event-B, Formal modelling, Resilient Systems, Swarm of drones, Event-B, Formal modelling, Resilient Systems, Swarm of drones",

author = "Inna Vistbakka and Amin Majd and Elena Troubitsyna",

year = "2018",

doi = "10.1007/978-3-030-02450-5_19",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-030-02449-9",

pages = "320–336",

editor = "Jing Sun and Meng Sun",

booktitle = "Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings",

publisher = "Springer",

note = "null ; Conference date: 12-11-2018",

}

Vistbakka, I, Majd, A & Troubitsyna, E 2018, Deriving Mode Logic for Autonomous Resilient Systems. i J Sun & M Sun (red), Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Springer, s. 320–336, International Conference on Formal Engineering Methods, ICFEM, 12/11/18. https://doi.org/10.1007/978-3-030-02450-5_19

Deriving Mode Logic for Autonomous Resilient Systems. / Vistbakka, Inna; Majd, Amin; Troubitsyna, Elena.

Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. red. / Jing Sun; Meng Sun. Springer, 2018. s. 320–336.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

TY - GEN

T1 - Deriving Mode Logic for Autonomous Resilient Systems

AU - Vistbakka, Inna

AU - Majd, Amin

AU - Troubitsyna, Elena

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Event-B

KW - Formal modelling

KW - Resilient Systems

KW - Swarm of drones

KW - Event-B

KW - Formal modelling

KW - Resilient Systems

KW - Swarm of drones

KW - Event-B

KW - Formal modelling

KW - Resilient Systems

KW - Swarm of drones

U2 - 10.1007/978-3-030-02450-5_19

DO - 10.1007/978-3-030-02450-5_19

M3 - Konferensbidrag

SN - 978-3-030-02449-9

SP - 320

EP - 336

BT - Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

A2 - Sun, Jing

A2 - Sun, Meng

PB - Springer

Y2 - 12 November 2018

ER -

Vistbakka I, Majd A, Troubitsyna E. Deriving Mode Logic for Autonomous Resilient Systems. I Sun J, Sun M, redaktörer, Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Springer. 2018. s. 320–336 https://doi.org/10.1007/978-3-030-02450-5_19

Deriving Mode Logic for Autonomous Resilient Systems

Sammanfattning

Konferens

Nyckelord

Åtkomst av dokument

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems

Citera det här