M/EDGE
M/EDGE
Secure Low Power Medical Edge Computing
- Contact Hannes Straß
- 2022 – 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.
Proceedings Articles
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download
Automated Reasoning Support for Standpoint-OWL 2
In Sergio de Cesare, Tiago Prince Sales, eds., Proceedings of th 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Ontology Showcase and Demonstrations Track, 2023
Details Download
