M/EDGE
M/EDGE
Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen
- Kontaktperson Hannes Straß
- 2022 – 2025
- finanziert durch BMBF
Medizinprodukte werden klassischerweise als Gesamtsysteme entwickelt und zertifiziert. Das heißt im Extremfall, dass jedes Funktionsupgrade mit einer Neuzulassung verbunden ist. Zusammen mit ineffizienten Prozeduren, mit denen Funktion und Gefährdungsfreiheit nachgewiesen werden, erweist sich die Zulassung als ausgesprochen zeit- und ressourcenaufwendig.
Das Projekt M/EDGE verfolgt einen modularen Ansatz. Ziel ist die Entwicklung einer zertifizierbaren Plattform. Daraus können vor-zertifizierte und skalierbare Komponenten (sowohl Hardware als auch Software) anwendungsspezifisch nach dem Baukasten-Prinzip zusammenfügt werden. Verbunden mit einem medizinisch-regulatorischen Konzept, das methodisch auf KIMEDS aufbaut, kann das anschließende Zertifizierungsverfahren erheblich vereinfacht und beschleunigt werden. Dazu wird das domänenspezifische Wissen und die modulare Systemarchitektur in ein wissensbasiertes System übersetzt, das den Zulassungsprozess durch eine automatisierte Erstellung und Prüfung des Sicherheitsnachweises unterstützt.
Artikel in Tagungsbänden
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning (NMR), to appear
Details Download
Non-Monotonic S4F Standpoint Logic
Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), to appear
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, to appear
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), 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, November 2024
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
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
