Projects

VerSys – 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 …

ConText – Textile surfaces for electrical supply, information technology communication and intuitive interaction with IoT devices in the Smart Home

The aim of the project is to develop so-called Connecting Textiles. These are to form a safe, robust and electromagnetically environmentally friendly …

SecProPort – Scalable Security Architectures for Commercial Workflows in German Harbors

Modern sea as well as domestic ports are more and more controlled by IT-systems. Each of the players involved in port operations (like terminal …

INTUITIV – Intuitive-nonverbal and informative-verbal robot-human communication

The project aims at investigating how intentions of a robot can be understood by humans through anticipatory path selection in combination with iconic …

SATiSFy – 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 …

KI-STAGING

In the KI-Staging project, the DFKI research department Cyber-Physical Systems and the ePhilos AG develop intelligent methods for the analysis of …

aiPhilos – Developing a search engine for the B2C area using artificial intelligence.

The goal of the project is to adapt the results of the projects "KI-Suche" to the B2C area. In doing so, search queries from mobile devices to diverse …

CONVERS – Design Automation Tool for Complex Electronic Systems

In order to design systems efficiently, the correct and safe functioning of the entire system has to be ensured as early as possible in the design …

SAFE-10-T – 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 …

SMILE – Smart Environments as motivating learning environments for an increasing number of female computer scientists

The goal of SMILE is to sustainably increase the proportion of women taking up studies in computer sciences as well as to reduce of their dropout …