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

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Editors: Alexander Romanovsky and Elena Troubitsyna
Publication year: 2017
Publisher: Springer
Book title: Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Volume number: 10479
Start page: 96
End page: 114
ISBN: 978-3-319-65947-3
eISBN: 978-3-319-65948-0
ISSN: 0302-9743


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.

Last updated on 2020-16-02 at 03:03