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
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025, to appear
Details Download
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
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 333-343, 2023. IJCAI Inc
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
