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

A4 Konferenspublikationer

Interna författare/redaktörer

Publikationens författare: Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
Redaktörer: Alexander Romanovsky and Elena Troubitsyna
Publiceringsår: 2017
Förläggare: Springer
Moderpublikationens namn: Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Volym: 10479
Artikelns första sida, sidnummer: 96
Artikelns sista sida, sidnummer: 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.

Senast uppdaterad 2020-19-02 vid 06:18