Shaping cybersecurity research, innovation and training in Europe


SPARTA is a large initiative for shaping cybersecurity research, innovation and traning in Europe. fortiss is a partner in this H2020 initiative advancing the ways to continuously assess the safety and security of polymorphic systems and on languages for evidential transactions.

Project description

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.

Research contribution

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.



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

Project duration

01.02.2019 - 30.06.2022

Dr. Ulrich Schöpp

Your contact

Dr. Ulrich Schöpp

+49 89 3603522 166

More information

Project partner


  • 2020 Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam In 36th International Conference on Logic Programming (ICLP), Rende, Italy, Details BIB
  • 2020 Towards Automating Safety and Security Co-Analysis with Patterns Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, Details BIB
  • 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas, Vivek Nigam and Carolyn Talcott In IEEE Vehicular Networking Conference, VNC 2020, pages 1-8, IEEE. Details BIB
  • 2019 TSNsched: Automated Schedule Generation for Time Sensitive Networking Ben Schneider and Vivek Nigam In 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pages 69–77, Details DOI BIB
  • 2019 On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering Antoaneta Kondeva, Carmen Cârlan, Harald Rueß and Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE. Details DOI BIB
  • 2019 Formal Security Verification of Industry 4.0 Applications Vivek Nigam and Carolyn Talcott In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, pages 1043–1050, IEEE. Details DOI BIB