• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Deriving and Formalising Safety and Security Requirements for Control Systems

Elena Troubitsyna, Inna Vistbakka, Deriving and Formalising Safety and Security Requirements for Control Systems. In: Barbara Gallina, Amund Skavhaug, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21,2018, Proceedings, Lecture Notes in Computer Science 11093, 107–122, Springer, 2018.

http://dx.doi.org/10.1007/978-3-319-99130-6\_8

Abstract:

Safety-critical control systems become increasingly open and interconnected. However, there is still a lack of the techniques that en- able an integrated analysis of safety and security requirements. In this paper, we propose an approach that allows the designers to derive and formalise safety and security requirements in a structured systematic way. To elicit both types of the requirements, we adapt and integrate traditional safety and security analysis techniques. To formally specify and verify them, we rely on Event-B framework. The framework allows us to develop a complex specification of system behaviour in presence of both accidental faults and security attacks and analyse mutual interdependencies between safety and security requirements.

BibTeX entry:

@INPROCEEDINGS{inpTrVi18a,
  title = {Deriving and Formalising Safety and Security Requirements for Control Systems},
  booktitle = {Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21,2018, Proceedings},
  author = {Troubitsyna, Elena and Vistbakka, Inna},
  volume = {11093},
  series = {Lecture Notes in Computer Science},
  editor = {Gallina, Barbara and Skavhaug, Amund and Bitsch, Friedemann},
  publisher = {Springer},
  pages = {107–122},
  year = {2018},
  keywords = {Formal modelling, safety analysis, data flow, Event-B, re- finement, safety-critical systems, security},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 1

Edit publication