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

Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

8 Sitaatiot (Scopus)


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.

AlkuperäiskieliEi tiedossa
OtsikkoSoftware Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
ToimittajatAlexander Romanovsky, Elena Troubitsyna
ISBN (elektroninen)978-3-319-65948-0
ISBN (painettu)978-3-319-65947-3
DOI - pysyväislinkit
TilaJulkaistu - 2017
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Workshop on Software Engineering for Resilient Systems (SERENE) - 9th International Workshop on Software Engineering for Resilient Systems, SERENE 2017
Kesto: 4 syyskuuta 20175 syyskuuta 2017


KonferenssiInternational Workshop on Software Engineering for Resilient Systems (SERENE)