Projects

Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, open and free instruction set architecture, forming…

Learning and Verifying Complex Behaviour of Humanoid Robots

The validation of systems based on deep learning for use in safety-critical applications proves to be inherently difficult, since their subsymbolic mode of operation does not provide adequate levels…

AI-Space for Intelligent Health Systems

In the project KI-SIGS (AI-Space for Intelligent Health Systems), companies, universities and research institutions from northern Germany are pooling their expertise in the field of medical AI in…

Combination of Symbolic and Subsymbolic Methods

Deep learning methods are used in many application areas and work very

efficiently after a training phase. However, in general no reliable

statement can be made about their correctness. In contrast,…

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…

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…

Sicherer Kegelscanner

In this project a safety component (safety laser scanner) is developed that provides collision avoidance for vehicles in industrial settings using an innovative scanner design and advanced environment…

Safety component for autonomous mobile service robots

The aim of the SAMS project is the development of a certifiable safety system for service robots and driverless transport vehicles, which uses a certified safety laser scanner to control a safety zone…

Generic User Interfaces for Interactive Theorem Provers

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between interactive proof tools, called PGIP.

Partners

  • IBM…
Abstraction and Reuse of Formal Developments

The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan Abstraction for Reuse: given a formal development we want…

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