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.
Original language | Undefined/Unknown |
---|---|
Title of host publication | Model-Based Safety and Assessment. IMBSA 2019 |
Editors | Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano |
Publisher | Springer |
Pages | 363–378 |
ISBN (Print) | 978-3-030-32872-6 |
DOIs | |
Publication status | Published - 2019 |
MoE publication type | A4 Article in a conference publication |
Event | IMBSA - Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019 Duration: 16 Oct 2019 → 18 Oct 2019 |
Conference
Conference | IMBSA |
---|---|
Period | 16/10/19 → 18/10/19 |
Keywords
- Event-B
- Formal reasoning
- Formal verification
- Safety
- formal modelling
- safety-critical systems