kth.sePublications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Network and Systems Engineering.ORCID iD: 0000-0002-5259-8839
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS.
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Network and Systems Engineering.ORCID iD: 0000-0002-4876-0223
2022 (English)In: MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2022 / [ed] Seguin, C Zeller, M Prosvirnova, T, Springer Nature , 2022, Vol. 13525, p. 170-185Conference paper, Published paper (Refereed)
Abstract [en]

Safety-critical control systems increasingly rely on networking technologies, which makes these systems vulnerable to cyber attacks that can potentially jeopardise system safety. To achieve safe- and secure-by-construction development, the designers should analyse the impact of security attacks already at the modelling stage. Since SysML is often used for modelling safety-critical systems, in this paper, we propose to integrate modelling in SysML and Event-B to enable reasoning about safety-security interactions at system modelling stage. Our approach combines the benefits of graphical modelling in SysML with the mathematical rigor of Event-B to visualise and formalise the analysis of the impact of security attacks on system safety.

Place, publisher, year, edition, pages
Springer Nature , 2022. Vol. 13525, p. 170-185
Series
Lecture Notes in Computer Science, ISSN 0302-9743
Keywords [en]
Safety-security interactions, Integrated approach, Formal specification and verification, Graphical modelling
National Category
Computer Systems Reliability and Maintenance
Identifiers
URN: urn:nbn:se:kth:diva-320677DOI: 10.1007/978-3-031-15842-1_13ISI: 000867007800013Scopus ID: 2-s2.0-85138807083OAI: oai:DiVA.org:kth-320677DiVA, id: diva2:1707272
Conference
8th International Symposium on Model-Based Safety and Assessment (IMBSA), SEP 05-07, 2022, Munich, GERMANY
Note

Part of proceedings: ISBN 978-3-031-15842-1, ISBN 978-3-031-15841-4

QC 20221031

Available from: 2022-10-31 Created: 2022-10-31 Last updated: 2022-10-31Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Poorhadi, EhsanTroubitsyna, ElenaDán, György

Search in DiVA

By author/editor
Poorhadi, EhsanTroubitsyna, ElenaDán, György
By organisation
Network and Systems EngineeringTheoretical Computer Science, TCS
Computer SystemsReliability and Maintenance

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 124 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf