Bachelor and Master Theses

Title: Towards attack models of autonomous Systems of Systems
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description: We are witnessing fast technological and industrial advances within area of autonomous systems of systems (SoS). Systems like SoS are built as a collection of several systems that share their resources and capabilities in order to achieve new functionalities, provide better performance or higher level of efficiency, when compared to traditional systems. Systems like this comes with higher level of complexity and providing analysis of its properties is one of the major challenges, since their behaviour might evolve due to the dynamic nature of such systems. It is expected that fully autonomous and cooperating systems increase the production efficiency, and decrease (if not completely replace) the human effort in harmful environments. To enable this, one needs be able to guarantee critical properties of SoS, such as safety and security. It is not sufficient anymore to analyse and guarantee these properties independently, but one has to be able to address safety and security in a joint effort.

This thesis will consist of the following:
- Given a set of safety requirements for an example of an autonomous SoS (an autonomous construction site), one should explore the interdependencies between the safety and security concerns and identify possible assets of the system that should be protected.
- Based on the collected information the thesis is expected to provide details on possible attack models and corresponding safety requirements that can be generated using the combined safety and security reasoning.
- Finally, using Goal Structuring Notation (GSN) work should provide an argument that a system is acceptably safe to operate given the set of attack models identified in the previous step.

The work will be performed as a part of KKS Prospekt project SAFSEC-CPS - Securing the safety of autonomous cyber-physical systems and in an active collaboration with involved companies in the project (Knightect AB; ABB Robotics; Volvo Construction Equipment).
Company: Knightec AB, kontaktperson: David Wenslandt
Proposed: 2017-10-15
Student: Amer Surkovic
Student: Dzana Hanic
Prerequisites: Knowledge in safety-critical engineering is an advantage.
IDT supervisors:
Aida Causevic, +46-21-107011
Examinator: Kristina Lundqvist
Kristina Lundqvist, +46 (0)21 101428

Rapport och bilagor


Senaste uppdatering

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2018.05.24