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 centre for the entire region. The Federal Ministry…

  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 the abstract electronic system level as well as…

  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 variantenreichste

    Bildgebungsmodalität in der…

  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 architecture for microprocessors which has been…

  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 fashion, such that the necessary safety and security…

  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 across the road, rail and inland waterway…

  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 problem, the goal of the SELFIE project is a…

  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 the capability of many applications to tolerate a…

  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 challenges of the increased demand on the quality, and…