Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Co-Engineering Safety and Secu...

Co-Engineering Safety and Security in Industrial Control Systems: A Formal Outlook

Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala, Co-Engineering Safety and Security in Industrial Control Systems: A Formal Outlook. In: Alexander B. Romanovsky, Elena Troubitsyna (Eds.), Software Engineering for Resilient Systems - 9th International Workshop, {SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings, Lecture Notes in Computer Science 10479, 96–114, Springer, 2017.

http://dx.doi.org/10.1007/978-3-319-65948-0\_7

Abstract:

An increasing openness and interconnectedness of safety-critical industrial control systems makes them vulnerable to security attacks. Hence, we should establish the integrated approaches enabling safety-security co-engineering. Such approaches should support an analysis of interdependencies between the mechanisms required for safety and security assurance. In this paper, we demonstrate how formal modelling can facilitate reasoning about the impact of certain security solutions on safety and vise versa. We rely on modelling and refinement in Event-B to systematically uncover mutual interdependencies and the constraints that should be imposed on the system to guarantee its safety even in the presence of security attacks. The approach is illustrated by a case study – a battery charging system of an electric car.

BibTeX entry:

@INPROCEEDINGS{inpViTrKuLa17a,
  title = {Co-Engineering Safety and Security in Industrial Control Systems: A Formal Outlook},
  booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,                {SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
  author = {Vistbakka, Inna and Troubitsyna, Elena and Kuismin, Tuomas and Latvala, Timo},
  volume = {10479},
  series = {Lecture Notes in Computer Science},
  editor = {Romanovsky, Alexander B. and Troubitsyna, Elena},
  publisher = {Springer},
  pages = {96–114},
  year = {2017},
  keywords = {Formal modelling, Event-B, Refinement, Safety-critical systems, Security },
}

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

Publication Forum rating of this publication: level 2

Edit publication