Skip to main content Skip to main navigation

Projects

Displaying results 1 to 4 of 4.
  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. SASPIT – A Safe and Secure Sensor Platform for the Internet of Things

    SASPIT – A Safe and Secure Sensor Platform for the Internet of Things

    The goals of the SASPIT project are to develop an open IoT sensor platform with end-to-end security guarantees for the correctness, integrity and …

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

  4. SAFE-10-T – Safety of Transport Infrastructure on the TEN-T Network

    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 …