Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

Inna Vistbakka, Elena Troubitsyna

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

1 Citeringar (Scopus)

Sammanfattning

Increased openness and interconnectedness of safety-critical control systems calls for techniques enabling an integrated analysis of safety and security requirements. Often safety and security requirements have intricate interdependencies that should be uncovered and analysed in a structured and rigorous way. In this paper, we propose an approach that facilitates a systematic derivation and formalisation of safety and security requirements. We propose the specification and refinement patterns in Event-B that allow us to specify and verify system behaviour and properties in the presence of both accidental faults and security attacks and analyse interdependencies between safety and security requirements.

OriginalspråkOdefinierat/okänt
Titel på gästpublikationModel-Based Safety and Assessment. IMBSA 2019
RedaktörerYiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
FörlagSpringer
Sidor363–378
ISBN (tryckt)978-3-030-32872-6
DOI
StatusPublicerad - 2019
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangIMBSA - Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019
Varaktighet: 16 okt 201918 okt 2019

Konferens

KonferensIMBSA
Period16/10/1918/10/19

Nyckelord

  • Event-B
  • Formal reasoning
  • Formal verification
  • Safety
  • formal modelling
  • safety-critical systems

Citera det här