Projects

Displaying results 1 to 4 of 4.

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 …
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 …
WaRoBema – Maintainable Role-Based Rights Management

The industrial partner employs concepts of role-based access controls within several of its applications. They allow a description and implementation …
KI-Suche – Developing a Search Machine using Principles of Artificial Intelligence

eProcurementsysteme allow for an efficient as well as cheap (with respect to personnel as well as financial costs) handling of consumable orderings in …