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

Inna Vistbakka, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

4 Citations (Scopus)
53 Downloads (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.

Original languageUndefined/Unknown
Title of host publicationModel-Based Safety and Assessment. IMBSA 2019
EditorsYiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
ISBN (Print)978-3-030-32872-6
Publication statusPublished - 2019
MoE publication typeA4 Article in a conference publication
EventIMBSA - Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019
Duration: 16 Oct 201918 Oct 2019




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

Cite this