M/EDGE

From International Center for Computational Logic
Toggle side column

M/EDGE

Secure Low Power Medical Edge Computing
  •   Contact Hannes Straß
  •   November 1, 2022 – October 31, 2025
  •   funded by BMBF

Medical devices are traditionally developed and certified as complete systems. In extreme cases, every functional upgrade leads to a new need for certification. With inefficient functional and hazard verification, approval is extremely time- and resource-consuming.

The M/EDGE project follows a modular approach. The goal is to develop a certifiable platform. From this, pre-certified and scalable components (both hardware and software) can be assembled on an application-specific basis according to the modular principle. Along with a medical-regulatory concept that methodically builds on KIMEDS, the subsequent certification process can be significantly simplified and accelerated. This is done by translating the domain-specific knowledge and modular system architecture into a knowledge-based system that supports the certification process through automated generation and verification of the safety case.