SPARTA

SPARTA

Shaping cybersecurity research, innovation and training in Europe

SPARTA

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.

Project 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.

Funding

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.

Project duration

01.02.2019-31.01.2022

Dr. Vivek Nigam

Your contact

Dr. Vivek Nigam

+49 89 3603522 527
nigam@fortiss.org

More information

Project partner

Commissariat à l’énergie atomique et aux énergies alternatives CEAJoanneum ResearchTechnikonCentre of Excellence in Information and Communication Technologies CETICUniversité de NamurSAPBrno University of TechnologyCZ Domain Registry cz.nicCESNETFraunhofer ISITechnische Universität München TUMUniversität BonnUniversität KonstanzUniversität TartuCenter for Cecurity Studies KEMEANational Center for scientific research DemokritosCenter Tecnologie de Catalunya EurecatIndra Sistemas, S.A. IndraTecnaliaCenter of basque research and technology alliance VicomtechAgence nationale de la sécurité des systèmes d´information ANSSIInstitut Mines-Télécom IMTINRIA National Institute for Research in Digital Science and TechnologyThales GroupYes we hackCybersecurtiy National Lab ciniCnitNational Research Council of Italy CNRInstituto Superiore delle Counicazioni e delle Technologie dell´informazione iscomKaunas University of Technology ktuLithuanian Cybercrime Centre of Excellence L3CEJonas Zemaitis Military Academy of LithuaniaMykolas Romeris University MRULuxembourg institute of science and technology LISTSecuritymadein.luUniversité de Luxembourg uni.luLatvijas Mobilais Telefons lmtITTINaukowa Akademicka siec Komputerowa NaskPolish Platform for homeland security ppbwInstituto de novas technologies inovInstituto superieur technio Técnico Lisboa

Publications

  • 2019TSNsched: Automated Schedule Generation for Time Sensitive NetworkingBen 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, DetailsDOIBIB
  • 2019On Computer-Aided Techniques for Supporting Safety and Security Co-EngineeringAntoaneta Kondeva, Carmen Cârlan, Harald Rueß and Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE. DetailsDOIBIB
  • 2019Formal Security Verification of Industry 4.0 ApplicationsVivek 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. DetailsDOIBIB