Projects

A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set architecture for microprocessors which has been…

Timely Validation of Safey and Security Requirements in Autonomous Vehicles

The aim of the project is to develop techniques to elicit requirements for systems to control autonomous vehicles, and validate them in a timely fashion, such that the necessary safety and security…

Safety of Transport Infrastructure on the TEN-T Network

The SAFE-10-T project will develop a Safety Framework to ensure high safety performance while allowing longer life-cycles for critical infrastructure across the road, rail and inland waterway…

Self-Verification of Electronic Systems

The exponential growth of the complexity of electronic systems makes it

increasingly diffult to prove their correctness (verification). Addressing

this problem, the goal of the SELFIE project is a…

BDD Manipulation for Approximate Computing

The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits the capability of many applications to tolerate a…

Quality-driven Design Flow using Formal Specifications and Functional Change Management

The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the challenges of the increased demand on the quality, and…

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz