Innovation & Research

Embedded systems are continuously evolving. We lead the market for optimization and verification solutions through continuous innovation. Therefore, we participate in key German and European research and innovation projects where we develop novel methods and validate them in an industrial context.
 

SAFURE

click to visit
Announcement Letter

Symtavision partners with Magneti Marelli, TTTech, Sysgo and Thales
in SAFURE project

The project SAFURE targets the design of cyber-physical systems by implementing a methodology that ensures safety and security "by construction". This methodology is enabled by a framework developed to extend system capabilities so as to control the concurrent effects of security threats on the system behaviour.

Symtavision will contribute to SAFURE its expertise in analysing and verifying safety-critical and mixed-criticality systems. The focus will be put on analysing the amount of timing interference in such systems, i.e. a parasitic effect that results from system integration and can lead to security vulnerabilities (e.g. denial of service attacks). Symtavision is leader of the work task “Timing integrity”.

The SAFURE project officially started on 1st February 2015 and is scheduled for 36 months. It receives funding from the European Union’s Horizon 2020 Programme (H2020/2014-2020) under grant agreement no 644080.
  

MOEWE

click to visit
click to visit

Symtavision partners with Willert Software Tools in MOEWE Project

The MOEWE project focuses on capturing timing requirements for a model-based development process of embedded systems. Special focus lies on the correlation and merging of timing requirements from different modeling domains (e.g. MATLAB/Simulink, UML, etc.), which arise during different development phases. This is facilitated by a central coupling model, which captures and traces the relevant requirements of the individual models for different views and development phases.

Symtavision will contribute to MOEWE its expertise in analysing and verifying the timing of embedded systems. Specifically, Symtavision focuses on capturing requirements and integrating the coupling model with its timing analysis and verification solutions SymTA/S and TraceAnalyzer.

The MOEWE project officially started in June, 2014, and is scheduled for 30 months. In MOEWE, Symtavision partners with Willert Software Tools, Hochschule Osnabrück, Universität Osnabrück, and Ostfalia Hochschule für angewandte Wissenschaften. 
  

The project receives funding from the ZIM program (Zentrales Innovationsprogramm Mittelstand) of the German Federal Ministry for Economic Affairs and Energy („Bundesministerium für Wirtschaft und Energie (BMWi) aufgrund eines Beschlusses des Deutschen Bundestages“).

 

Past Projects

Projects that we have participated in include: