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)
11 Nedladdningar (Pure)


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.

Titel på gästpublikationModel-Based Safety and Assessment. IMBSA 2019
RedaktörerYiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
ISBN (tryckt)978-3-030-32872-6
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




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

Citera det här