Verified Home

Verified Systems International GmbH

Quality Assurance for Embedded Systems

Innovation

Innovative through Research

In order to provide state-of-the-art solutions to tomorrow’s challenges in verification and validation, Verified Systems maintains steady connections with academic institutions all over the world and actively participates and various national and European collaborative research projects.

Ongoing Projects

HiDyVe (2021-2024)

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 (2020-2022)

HUBCAP Project

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.

Past Projects

PROFORMA (2018-2020)

PROFORMA Project

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.

INTO-CPS (2015-2017)

INTO-CPS Project

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.

INTO-CPS will support the holistic modelling of CPSs, allowing system models to be built and analysed that would otherwise not be possible using standalone tools. We will integrate existing industry-strength tools with high Technology Readiness Levels (TRL 6–9) in their application domains, based centrally around Functional Mockup Interface (FMI)-compatible co-simulation. The project focuses on the pragmatic integration of these tools, making extensions in areas where a need has been recognised. The tool chain will be underpinned by well-founded semantic foundations that ensures the results of analysis can be trusted.

The tool chain will provide 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 tool chain will allow for both Test Automation (TA) and Design Space Exploration (DSE) of CPSs. The INTO-CPS technologies will be accompanied by a comprehensive set of method guidelines that describe how to adopt the INTO-CPS approach, lowering entry barriers for CPS development.

STEVE (2014-2017)

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.

VerSyKo (2011-2012)

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.