KIMEDS
KIMEDS
AI Assisted Certification of Medical Software
- 2022 – 2025
- funded by Federal Ministry of Education and Research (BMBF)
Safety certificates for medical software are so far unstructured and often spread over several documents. This hinders the efficient processing of these documents in the formal certification of medical products relying on software. An automation of the creation and the approval of safety certificates may lead to a significant speed-up in certification of medical products.
The goal of KIMEDS is the establishment of the method of the Assurance Case as an ontology-based safety documentation for automated verification and validation of risk-free medical software components. An assisting and explainable system is based on the regulatory foundations and enacts as a validating instance of the Assurance Case over the lifecycle of medical software. The creation of the safety documentation begins in the early stages of software development, which is then guided by a continuous check of validity through the system we develop. This system also supports the certification of Assurance Cases, leading to a significant increase in efficiency of the overall certification process.
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
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
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
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
Talks and Miscellaneous
flexABle – System Description for ICCMA 2023
System description for ICCMA 2023, 2023
Details Download
