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

A4 Konferenspublikationer

Interna författare/redaktörer

Publikationens författare: Inna Vistbakka, Elena Troubitsyna
Redaktörer: Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
Publiceringsår: 2019
Moderpublikationens namn: Model-Based Safety and Assessment. IMBSA 2019
Seriens namn: Lecture Notes in Computer Science
Volym: 11842
Artikelns första sida, sidnummer: 363
Artikelns sista sida, sidnummer: 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

Senast uppdaterad 2020-23-09 vid 06:31