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

Inna Vistbakka, Elena Troubitsyna

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (Scopus)
11 Lataukset (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.

AlkuperäiskieliEi tiedossa
OtsikkoModel-Based Safety and Assessment. IMBSA 2019
ToimittajatYiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
ISBN (painettu)978-3-030-32872-6
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaIMBSA - Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019
Kesto: 16 lokakuuta 201918 lokakuuta 2019




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