Skip to main content
Springer Nature Link
Log in

Analysing the Impact of Security Attacks on Safety Using SysML and Event-B

  • Conference paper
  • First Online:
Model-Based Safety and Assessment (IMBSA 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13525))

Included in the following conference series:

  • 1012 Accesses

Abstract

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.

Supported by Trafikverket, Sweden.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Troubitsyna, E., Laibinis, L., Pereverzeva, I., Kuismin, T., Ilic, D., Latvala, T.: Towards security-explicit formal modelling of safety-critical systems. In: Skavhaug, A., Guiochet, J., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9922, pp. 213–225. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45477-1_17

    Chapter  Google Scholar 

  2. Vistbakka, I., Troubitsyna, E., Kuismin, T., Latvala, T.: Co-engineering safety and security in industrial control systems: a formal outlook. In: Romanovsky, A., Troubitsyna, E.A. (eds.) SERENE 2017. LNCS, vol. 10479, pp. 96–114. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-65948-0_7

    Chapter  Google Scholar 

  3. Troubitsyna, E., Vistbakka, I.: Deriving and formalising safety and security requirements for control systems. In: Gallina, B., Skavhaug, A., Bitsch, F. (eds.) SAFECOMP 2018. LNCS, vol. 11093, pp. 107–122. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99130-6_8

    Chapter  Google Scholar 

  4. Poorhadi, E., Troubitysna, E., Dán, G.: Formal modelling of the impact of cyber attacks on railway safety. In: Habli, I., Sujan, M., Gerasimou, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2021. LNCS, vol. 12853, pp. 117–127. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-83906-2_9

    Chapter  Google Scholar 

  5. Snook, C., Butler, M.: UML-B: formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol 15, 92–122 (2006). https://doi.org/10.1145/1125808.1125811

    Article  Google Scholar 

  6. UML-B. https://www.uml-b.org/

  7. Dghaym, D., Dalvandi, M., Poppleton, M., Snook, C.: Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B. Int. J. Softw. Tools Technol. Transf. 22(3), 297–313 (2019). https://doi.org/10.1007/s10009-019-00548-w

    Article  Google Scholar 

  8. Quamara, M., Pedroza, G., Hamid, B.: Multi-layered model-based design approach towards system safety and security co-engineering. In: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 274–283 (2021). https://doi.org/10.1109/MODELS-C53483.2021.00048

  9. SysML. https://sysml.org/

  10. The RODIN platform. http://rodin-b-sharp.sourceforge.net/

  11. Abrial, J.: Extending B without changing it (for developing distributed systems). In: Proceedings of 1st Conference on the B Method, pp. 169–191, Springer, Verlag, Nantes, France, November 1996

    Google Scholar 

  12. Lemaire, L., Lapon, J., Decker, B., Naessens, V.: A SysML extension for security analysis of industrial control systems. In: Proceedings of the 2nd International Symposium on ICS and SCADA Cyber Security Research 2014 (ICS-CSR 2014), pp. 1–9. BCS, Swindon, GBR (2014). https://doi.org/10.14236/ewic/ics-csr2014.1

Download references

Author information

Authors and Affiliations

  1. KTH – Royal Institute of Technology, Stockholm, Sweden

    Ehsan Poorhadi, Elena Troubitsyna & György Dán

Authors
  1. Ehsan Poorhadi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elena Troubitsyna
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. György Dán
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Ehsan Poorhadi or Elena Troubitsyna .

Editor information

Editors and Affiliations

  1. ONERA, Toulouse, France

    Christel Seguin

  2. Siemens AG, Munich, Bayern, Germany

    Marc Zeller

  3. ONERA, Toulouse, France

    Tatiana Prosvirnova

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Poorhadi, E., Troubitsyna, E., Dán, G. (2022). Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. In: Seguin, C., Zeller, M., Prosvirnova, T. (eds) Model-Based Safety and Assessment. IMBSA 2022. Lecture Notes in Computer Science, vol 13525. Springer, Cham. https://doi.org/10.1007/978-3-031-15842-1_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-15842-1_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-15841-4

  • Online ISBN: 978-3-031-15842-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics