Skip to main content Skip to main navigation

Projects

Page 1 of 1.

  1. DataNord - MRI4ALL - Research Academy Projekt MRI4AII des Interdisziplinären Datenkompetenzzentrums für die Region Bremen - DataNord; Teilvorhaben:

    In close cooperation within the U Bremen Research Alliance (UBRA) and with other partners, the University of Bremen is establishing a data competence …

  2. 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 …

  3. KIMBi - Auf dem Weg zur KI-gestützten intelligenten Magnetresonanz-Bildgebung

    Es soll ein System entwickelt werden, das die Magnetresonanztomographie (MRT) für KI-

    Anwendungen zugänglich macht. Die MRT ist die flexibelste und …

  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 …

  5. 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 …

  6. 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 …

  7. SELFIE - 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 …

  8. MANIAC - BDD Manipulation for Approximate Computing

    The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits …

  9. SPECifIC - 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 …