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


Abstract

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.


Keywords

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

Last updated on 2020-31-03 at 07:02

Share link