SPARTA

SPARTA is an European initiative to develop an ambitious research and innovation roadmap leveraging Europe’s strengths and opportunities, across multiple disciplines, maturity levels, and geographical locations. It is formed by a growing consortium of 44 partners from all four corners of Europe and fortiss is delighted to be part of SPARTA. fortiss is supporting SPARTA by advancing in key areas for Europe’s strategic autonomy, in particular, for the Continuous Assessment in Polymorphous Environments, where fortiss leads the task on Safety and Security, and High-Assurance Intelligent Infrastructure Toolkit, where fortiss provides languages for evidential transactions.

fortiss is leading the task on Convergence of security and safety. Our main goal is develop techniques fort he integration of safety and security. This task’s main goal is to develop a process that integrates safety and security, where security and safety assessments are carried out in parallel with the same priority increasing thus both the safety and security of the system.

For this, we identify the following seven challenges which will be tackled during the execution of this task:

1. Identification of common language for the specification of safety and security requirements
2. safety-security co-analysis techniques
3. safety-security co-verification and validation techniques
4. Methods for identification of safety and security conflicts
5. Implications of safety to security
6. Trade-off analysis

This task will also study how models of safety and security can be used to identify potential interactions between safety and security properties. The task will deliver procedures to assess components and systems both for cybersecurity and safety.

SU-ICT-03-2018

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 830892.

01.02.2019 - 30.06.2022