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

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Inna Vistbakka, Elena Troubitsyna
Editors: Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
Publication year: 2019
Book title: Model-Based Safety and Assessment. IMBSA 2019
Title of series: Lecture Notes in Computer Science
Volume number: 11842
Start page: 363
End page: 378
ISBN: 978-3-030-32872-6


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.


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

Last updated on 2020-08-04 at 04:40