The HiDyVe project is supported by the Bundesministerium für Wirtschaft und Energie (BMWi) as part of the Luftfahrtforschungsprogramm VI-1. The purpose of the project is to develop technologies for highly dynamic virtual and hybrid validation and verification to be used in the context of the avionics industry.

HUBCAP is an Innovation Action supported by the European Union’s Horizon 2020 research and innovation programme (contract No 872698) and by the Commissioned Research of National Institute of Information. The action is delivered by a consortium of SMEs, innovation organisations and research institutions committed to developing a sustainable network of businesses, Digital Innovation Hubs (DIHs) and other actors to encourage suppliers and users of Cyber-Physical Systems (CPSs) models and Model-Based Design (MBD) tools to meet and collaborate.

The PROFORMA project has focussed on the combination of formal methods such as abstract interpretation and SMT solving on different levels of abstraction in order to determine the impact of hardware failures on system safety.

The aim of INTO-CPS project is to create an integrated “tool chain” for comprehensive Model-Based Design (MBD) of Cyber-Physical Systems (CPSs). The tool chain will support the multidisciplinary, collaborative modelling of CPSs from requirements, through design, down to realisation in hardware and software. This will enable traceability at all stages of the development. The tool chain provides powerful analysis techniques for CPSs, including connection to SysML; generation and static checking of FMI interfaces; model checking; Hardware-in-the-Loop (HiL) and Software-in-the-Loop (SiL) simulation, supported by code generation.

The project STEVE (System-Technik und Virtuelle Erprobung) was supported by the Bundesministerium für Wirtschaft und Energie (BMWi) as part of the Luftfahrtforschungsprogramm LuFoV-1. Our company mainly contributed to the development of a communication standard for virtual and distributed testing for embedded real-time systems.

The aim of the VerSyKo project is the development and evaluation of a continuous approach for modeling and verification of safety-critical and distributed embedded system. At its core, the project focusses on model-based development and verification of asynchronously communicating control systems, which are built from locally synchronous components.