Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook
| Autor: | Elena Troubitsyna, Timo Latvala, Tuomas Kuismin, Inna Vistbakka |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Control system security
Computer science media_common.quotation_subject 020207 software engineering 02 engineering and technology Industrial control system Computer security computer.software_genre Interconnectedness Interdependence Life-critical system Software security assurance 020204 information systems 0202 electrical engineering electronic engineering information engineering Openness to experience Electric cars computer media_common |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319659473 SERENE |
| DOI: | 10.1007/978-3-319-65948-0_7 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|