4 PhD & 2 Postdoctoral Scholarships, Mälardalen University, Sweden (2018)

In the SSF framework project Serendipity, we will develop new technologies and a platform for safety-critical connected cyber-physical systems. Our work will leverage existing techniques for dependable systems and augment these with scalable security solutions for open and heterogeneous systems.

The security solutions sought for in Serendipity need to be scalable and adapted to an open environment where heterogenous services, applications and users vary over time, but remain safely and securely connected through interconnected dependable1 platforms.

The goals of Serendipity include:

1. Identification of assets and vulnerabilities common to networked cyber-physical systems operating in open environments. Implementation of remedies and countermeasures, taking into account the requirements on timeliness and continuity of service.

2. Developing an ontological-based risk-analysis method, to identify security threats and their impacts on safety in a system-of-systems, addressing dependability. As well as developing tool support for the requirement analysis to facilitate industrial use.

3. Devising actor-based, time-aware, compositional analysis techniques and tools to address dependability by formal verification. The techniques are based on a modelling approach that focus on assets and vulnerabilities, can capture heterogeneity and openness of the system, support dynamic adaptation of the system, and can cope with scalability.

Further details:
4 PhD & 2 Postdoctoral Scholarships, Mälardalen University, Sweden (2018)