KIMEDS
KIMEDS
KI-assistierte Zertifizierung medizinischer Software
- 2022 – 2025
- finanziert durch Federal Ministry of Education and Research (BMBF)
Sicherheitsnachweise für medizinische Software werden bislang unstrukturiert und über mehrere Dokumente verteilt dokumentiert. Dies gestaltet eingehende Prüfungen umständlich macht diese fehleranfällig. Eine Automatisierung der Erstellung und Prüfung dieser Nachweise kann hier zu einer Beschleunigung der Abläufe beitragen.
Das Ziel von KIMEDS ist die Etablierung der Methode des Strukturierten Nachweises als ontologiebasierte Sicherheitsdokumentation für automatisiert prüfbare Nachweise der Gefährdungsfreiheit medizinischer Softwarekomponenten. Ein assistierendes und zugleich erklärbares System basiert auf dem regulatorischen Regelwerk und agiert als Instanz fortdauernder Prüfung diese Strukturierten Nachweise über den gesamten Lebenszyklus einer medizinischen Software. Dabei beginnt die Erstellung der Sicherheitsdokumentation direkt im Softwareentwicklungsprozess, gestützt durch eine kontinuierliche Prüfung von deren Validität durch das zu entwickelnde System. Das System unterstützt die Bewertung des Strukturierten Nachweises bei der Zertifizierung, was zu erheblichen Effizienzgewinnen bei der Zertifizierung führen wird.
Artikel in Tagungsbänden
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
Notation3 as an Existential Rule Language
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
Details Download
Abstract Domains for Database Manipulating Processes
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, October 2023. Springer
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
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 3258-3267, 2023. ijcai.org
Details Download
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details Download
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download
Technische Berichte
Existential Notation3 Logic
Technical Report, arXiv.org, April 2024. Under consideration in Theory and Practice of Logic Programming (TPLP)
Details
Vorträge und Sonstiges
flexABle – System Description for ICCMA 2023
System description for ICCMA 2023, 2023
Details Download
