• Jun 18, 2019 - Jun 18, 2019
  • Control and Protection, Compliance Management, Risk Management

Description

SPARTA is a novel Cybersecurity Competence Network, supported by Europe’s H2020 program, with the objective to develop and implement top-tier research and innovation cooperative actions. Strongly guided by concrete challenges forming an ambitious Cybersecurity Research & Innovation Roadmap, SPARTA will setup unique collaboration means, leading the way in building transformative capabilities and forming a world-leading Joint Competence Centre Infrastructure. From basic human needs (health) to economic activities (energy, finance, and transport) to technologies (ICT and industry) to sovereignty (eGovernment, public administration), four research and innovation Programs will push the boundaries to deliver advanced solutions to cover emerging challenges.

The SPARTA consortium, led by CEA, assembles a balanced set of 44 actors at the intersection of scientific excellence, technological innovation, and societal sciences in cybersecurity. Together, along with SPARTA Associates, they aim at re-thinking the way cybersecurity research, innovation, and training are performed in Europe across domains and expertise, from foundations to applications, in academia and industry.

Website

Programme/Client:
EUROPEAN COMMISSION / H2020-SU-ICT-03-2018


  • Apr 12, 2019 - Apr 12, 2019
  • Security and Safety by Design, Compliance Management

Description

The eITUS project aims at creating a basic experimental infrastructure (models, software and tools) that enables robotic development stakeholders to assure system safety both at design time, using analysis and simulation-based techniques, and at run time, using safety monitoring algorithms.

The main eITUS results (safety view and code generators) have been supported by the European Horizon 2020 project RobMoSys. This contribution is RobMoSys conformant.

eITUS pursues two major objectives:

  • Model-based design for safe-aware compositional robotic systems
  • Extension of the RobMoSys metamodel to include safety concerns and support contract-based design. As a result, a safety view will be provided. The currently implemented solution is based on a Papyrus/SysML profile. However, it can be easily adjusted to work with Papyrus/RobotML or as a separate ecore-based editor.
  • Tools to generate ROS/OROCOS compliant code to run on real demonstration systems.
  • Creation of run-time monitors for safety assessment. By providing formal safety specifications, monitors can be automatically generated and incorporated in the system to ensure the safety of robots. 
  • Safety Validation of Robotics Systems during early design phases
  • A tool enabling an early safety assessment of robotics systems, starting from the Sabotage simulation-based fault injection framework will be developed. Fault injection simulations will be used for testing the architecture´s robustness and to perform an early dependability/safety validation. The area of Fault Injection is mainly concerned with simulation-based analysis of a system’s safety or its dependability properties. Due to its simulative approach, failure characteristics of system components should be modeled as realistically as possible to obtain reliable results. Failure modeling of different components such as sensor failures will be tackled.
  • Sabotage, Gazebo for robot dynamics and environment simulation, and the integration with the RobMoSys design platform will be performed. Furthermore, possible integration to model-based safety analysis tools such as SOPHIA will be further investigated.

The eITUS building blocks integrate existing technologies from RobMoSys, P-RC2 (Platform for Robot Controller Construction) and AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) projects. RobMoSys will provide the core technologies for modeling robotics systems using the different metamodels underlying the RobMoSys views. P-RC2 will provide a framework for the functional design of the robot controller with component development and system configuration views. It will additionally provide tools for code generation from these views. AMASS will provide the metamodeling backbone for safety validation by providing a safety modeling view for both safety analyses and simulation-based fault injection.

Website

Programme/Client:
eITUS is one of the six Integrated Technical Projects (ITPs) that has been selected from the RobMoSys Horizon 2020 Project first open call for experiments proposals (RobMoSys-1FORC)


  • Dec 30, 2009 - Apr 30, 2013
  • Compliance Management

Description

The proposed RECOMP (Reduced certification cost for trusted multi-core platforms) research project establishes methods, tools and platforms for enabling cost-efficient certification and re-certification of safety-critical systems and mixed-criticality systems, i.e. systems containing safety-critical and non-safety-critical components. RECOMP provides reference designs and platform architectures together with the required design methods and tools for achieving cost-effective certification and re-certification of mixed-criticality, component based, multi-core systems. The aim of RECOMP is to define a European standard reference technology for mixed-criticality multi-core systems supported by the European tool vendors participating in RECOMP. The RECOMP project will bring clear benefits in terms of cross-domain implementations of mixed-criticality systems in all domains addressed by project participants: automotive systems, aerospace systems, industrial control systems, lifts and transportation systems. RECOMP thus provide solutions that will allow European industry to increase its market share in the growing market of mixedcriticality systems.
Website

Programme/Client:
EUROPEAN COMMISSION JTI – ARTEMIS


  • Jul 01, 2013 - Jun 30, 2016
  • Security and Safety by Design, Compliance Management

Description

The main idea of SafeAdapt is to develop novel architecture concepts based on adaptation to address the needs of a new E/E architecture for FEVs regarding safety, reliability and cost-efficiency. This will reduce the complexity of the system and the interactions by generic, system-wide fault and adaptation handling. It also enables extended reliability despite failures, improvements of active safety, and optimized resources. This is especially important for increasing reliability and efficiency regarding energy consumption, costs and design simplicity.
SafeAdapt follows a holistic approach for building adaptable systems in safety-critical environments that comprises methods, tools, and building blocks for safe adaptation. This also includes certification support of safety-critical systems in the e-vehicle domain. The SafeAdapt approach also considers functional safety with respect to the ISO 26262 standard.

Website

Programme/Client:
EUROPEAN COMMISSION FP7 - COOP – ICT ; FP7-ICT-2013-GC


  • Apr 01, 2016 - Mar 30, 2019
  • Compliance Management

Description

The rise of complex Cyber-Physical Systems (CPS) has led to many initiatives to promote reuse and automation of laborintensive activities. Two large-scale projects are OPENCOSS and SafeCer, which dealt with assurance and certification of software-intensive critical systems using incremental and model-based approaches.
AMASS will create and consolidate a de-facto European-wide assurance and certification open tool platform, ecosystem and self-sustainable community spanning the largest CPS vertical markets. We will start by combining and evolving the OPENCOSS and SafeCer technological solutions towards end-user validated tools, and will enhance and perform further research into new areas not covered by those projects. The ultimate aim is to lower certification costs in face of rapidly changing product features and market needs. This will be achieved by establishing a novel holistic and reuse-oriented approach for architecture-driven assurance (fully compatible with standards e.g. AUTOSAR and IMA), multi-concern assurance (compliance demonstration, impact analyses, and compositional assurance of security and safety aspects), and for seamless interoperability between assurance/certification and engineering activities along with third-party activities.

Website

Programme/Client:
EUROPEAN COMMISSION / H2020-JTI-ECSEL-2015


  • Oct 01, 2011 - Mar 30, 2015
  • Compliance Management

Description

OPENCOSS will devise a common certification framework that spans different vertical markets for railway, avionics and automotive industries, and establish an open-source safety certification infrastructure. The strategy is to focus on a compositional and evolutionary certification approach with the capability to reuse safety arguments, safety evidence, and contextual information about system components, in a way that makes certification more cost effective, precise, and scalable. OPENCOSS will define a common certification language by unifying the requirements and terminology of different industries and building a common approach to certification activities. A fully-fledged tool infrastructure will be developed for managing certification information and performing safety assurance activities. The infrastructure will be realised as a tightly integrated solution, supporting interoperability with existing development and assurance tools. Within this infrastructure, systematic and auditable processes will be developed to reduce uncertainty and (re)certification costs. To have long-lasting industrial impact, we will pursue standardisation of the conceptual framework and the open-source tool infrastructure resulting from the project.
Website

Programme/Client:
EUROPEAN COMMISSION FP7 - COOP - ICT