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
Non-Monotonic S4F Standpoint Logic
Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), January 2026
Details Download
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025, 4544--4552, August 2025. ijcai.org
Details Download
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), 226 - 246, September 2025
Details Download
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning (NMR), November 2025
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, November 2024
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
SiN3: Scalable inferencing with SPARQL CONSTRUCT queries
In Irini Fundulaki, Kouji Kozaki, Daniel Garijo, Jose Manuel Gomez-Perez, eds., ISWC-Posters-Demos-Industry 2023, volume 3632 of CEUR Workshop Proceedings, November 2023. ceur-ws.org
Details
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
