• 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 23, 2010 - Aug 31, 2014
  • Security and Safety by Design

Description

The nSHIELD project is, at the same time, a complement and significant technology breakthrough of pSHIELD, a pilot project funded in ARTEMIS Call 2009 as the first investigation towards the realization of the SHIELD Architectural Framework for Security, Privacy and Dependability (SPD). The roadmap, already started in the pilot project, will bring to address SPD in the context of Embedded Systems (ESs) as “built in” rather than as “add-on” functionalities, proposing and perceiving with this strategy the first step toward SPD certification for future ES. The composability of this architectural framework will have great impact on the system design costs and time to market of new SPD solutions in ESs. At the same time, the integrated use of SPD metrics in the framework will have impact on the development cycles of SPD in ESs because the qualification, (re-)certification and (re-)validation process of a SHIELD framework instance will be faster, easier and widely accepted.
Website

Programme/Client:
EUROPEAN COMMISSION JTI – ARTEMIS. ARTEMIS-2010-1


  • Feb 01, 2011 - Feb 01, 2018
  • Security and Safety by Design

Description

One of the main problems the CPS designers face is “the lack of simulation tools and models for system design and analysis”. This is mainly because the majority of the existing simulation tools for complex CPS handle efficiently only parts of a system while they mainly focus on the performance. Moreover, they require extreme amounts of processing resources and computation time to accurately simulate the CPS nodes’ processing. Faster approaches are available, however as they function at high levels of abstraction, they cannot provide the accuracy required to model the exact behavior of the system under design so as to guarantee that it meets the requirements in terms of performance and/or energy consumption. The COSSIM project will address all those needs by providing an open-source framework which will a) seamlessly simulate, in an integrated way, both the networking and the processing parts of the CPS, b) perform the simulations orders of magnitude faster, c) provide much more accurate results especially in terms of power consumption than existing solutions, d) report more CPS aspects than any existing tool including the underlying security of the CPS. COSSIM will achieve the above by developing a novel simulator framework based on a processing simulation sub-system (i.e. a “full-system simulator”) which will be integrated with a novel network simulator. Furthermore, innovative power consumption and security measurement models will be developed and incorporated to the end framework. On top of that, COSSIM will also address another critical aspect of an accurate CPS simulation environment: the performance as measured in required simulation time. COSSIM will create a framework that is orders of magnitude faster, while also being more accurate and reporting more CPS aspects, than existing solutions, by applying hardware acceleration through the use of field programmable gate arrays (FPGAs), which have been proven extremely efficient in relevant tasks.
Website

Programme/Client:
EUROPEAN COMMISSION H2020-IL-LEIT-ICT, H2020-ICT-2014-1


  • Jan 01, 2014 - Dec 31, 2016
  • Security and Safety by Design, Control and Protection

Description

SWEPT security solution will incorporate preventive and detecting security mechanisms and tools for automatically preventing and mitigating web site attacks, maximizing the security posture of websites with a minimum intervention of web site owners and administrators The project also proposes a certification model that will certificate the security level of a web application based on SWEPT security mechanisms.
Beyond this triplet (prevention, detection and certification) there will be an integration methodology based on:
1- Normalisation of different outcomes from different tools.
2- Extension of an XML format file oriented to vulnerabilities and threats concepts
3- Log based integration in a common DB
4- Definition of correlation techniques
5- Certification of SWEPT Integration platform
This will generate the SWEPT platform ready to offer preventive and reactive services toward web developers and hosters.

Website

Programme/Client:
EUROPEAN COMMISSION CIP - ICT POLICY SUPPORT PROGRAMME


  • Jul 01, 2014 - Mar 31, 2016
  • Security and Safety by Design, Risk Management

Description

The OBJECTIVE of TACIT will be the definition and development of a framework for the assessment of risk and impact of cyber attacks in smart grids. The framework will be used in the risk analysis and assessment phase of CIP and will support the simulation of the relevant cyber-attacks to smart grids, in order to better design the reactive measures in these infrastructures. The framework will lead to a significant improvement on the knowledge and capacities of European CI providers to develop and maintain resilient energy infrastructures. TACIT will validate and improve the framework by performing a series of end-user tests simulating cyber attacks on running smargrids to derive appropriate recommendations to enhance cyber security in smartgrids and by getting feedback through the celebration of a European-wide workshop attended by experts and relevant stakeholders.
Website

Programme/Client:
EUROPEAN COMMISSION OPI - SECURITY AND SAFEGUARDING LIBERTIES PROGRAM HOME/2013/CIPS/AG-4000005111


  • May 01, 2014 - Oct 31, 2014
  • Security and Safety by Design

Description

Nowadays crucial system functions tend to be hardwired, such as protocols, parallel processing algorithms, operating system kernels, etc. This opens a prospect for application of formal methods to prove properties of relevant system components, like compliance to Common Criteria and more specialized standards such as NERC CIP (standards providing a cyber-security framework for the identification and protection of Critical Cyber Assets) and ISA 99. FM-BIASED is a study project on the establishment of the business impact of formal methods concerning compliance to the above standards in several industrial and business sectors where such regulations are enforced or will soon be enforced. In most of those sectors, compliance verification may be difficult because most automation are legacy systems, so that industrial stakeholders must face the prospect of either trying to validate ageing systems designed many years ago, or redesigning/re-implementing their functions anew.
Website

Programme/Client:
EUROPEAN COMMISSION OPI / SECURITY AND SAFEGUARDING LIBERTIES PROGRAM; EC HOME/2012/CIPS/AG/4.


  • Jun 06, 2010 - Mar 31, 2014
  • Security and Safety by Design

Description

ANIKETOS helps establish and maintain trustworthiness and secure behaviour in a constantly changing service environment. The project aligns existing and develops new technology, methods, tools and security services that support the design-time creation and run-time dynamic behaviour of composite services, addressing service developers, service providers and service end users. ANIKETOS platform supports creating and maintaining secure and trusted composite services, and offers methods for analysing, solving, and sharing information on how new threats and vulnerabilities can be mitigated. Specifications, best practices, standards and certification work related to security and trust of composite services will be promoted for inclusion in European reference architectures.
Website

Programme/Client:
EUROPEAN COMMISSION / FP7 - COOP - ICT


  • 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