Projects

In the KI-Staging project, the DFKI research department Cyber-Physical Systems and the ePhilos AG develop intelligent methods for the analysis of article descriptions in oder to uniformly structure ar

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 phase. In addition it is necessary to consider both,

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 transpor

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 rates in order to sustainably increase the number of f

In the last few years information and communication technologies as well as sensors and applications that support personalized medical treatment increasingly emerged in health service – also known as

Walkers play an important role in the everyday life of many people and the correct use must be properly learned and practiced continuously. The aim of the project is to prevent latent poor postures an

Field-programmable gate arrays are a highly efficient platform for cryptographic hardware implementations. Despite of their benefits, security-critical component on FPGA devices need to be protected a

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 fun

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

The industrial partner employs concepts of role-based access controls within several of its applications. They allow a description and implementation of security requirements (such as Separation of Du