Skip to main content Skip to main navigation

Projects

Displaying results 1 to 9 of 9.
  1. FAIRe – Frugal Artificial Intelligence in Resource-limited environments

    FAIRe – Frugal Artificial Intelligence in Resource-limited environments

    Artificial intelligence (AI) is finding increasingly diverse applications in the physical world, especially in embedded, cyber-physical devices with …

  2. REXASI-PRO – REliable & eXplAinable Swarm Intelligence for People with Reduced mObility

    REXASI-PRO – REliable & eXplAinable Swarm Intelligence for People with Reduced mObility

    Artificial intelligence (AI) is being applied widely in many domains and there is a need to realize public trust in these systems. Calls are made to …

  3. ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

    ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

    The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …

  4. VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

    VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy 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, …

  5. AdaMeKoR – AdaMeKoR project part: Robotic arm assistance system and integrated robotic concepts for patient transfer

    AdaMeKoR – AdaMeKoR project part: Robotic arm assistance system and integrated robotic concepts for patient transfer

    The overall objective of AdaMeKoR is the development of an adaptive and multifunctional motorized bed with robotic arm system for use in nursing. For …

  6. KosmoS – Cooperative, modular, mobile Smart Life Lab

    KosmoS – Cooperative, modular, mobile Smart Life Lab

    The aim of the project is to support researchers in the design, evaluation and subsequent mediation of networked objects. For this purpose, a flexible …

  7. VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    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 …

  8. SATiSFy – Timely Validation of Safey and Security Requirements in Autonomous Vehicles

    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 …

  9. SAMS – Safety component for autonomous mobile service robots

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