SEMECO-Q2

„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.

Projekte

• Aktive Projekte
• Abgeschlossene Projekte

Toggle side column

SEMECO-Q2

Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity

Forschungsgruppe

• Computational Logic
• Logische Programmierung und Argumentation
• Algebraische und logische Grundlagen der Informatik

Personen

• Hannes Straß
• Martin Diller

• Information
• Publikationen

•   Kontaktperson Hannes Straß
•   https://digitalhealth.tu-dresden.de/projects/semeco/
•   2023 – 2026
•   finanziert durch BMBF

SEMECO-Q2 entwickelt eine auf Wissensrepräsentation und symbolischer KI basierte Lösung, die den regulatorischen Prozess, die Agilität des eigentlichen Systementwurfs und der Softwareent- wicklung cybermedizinischer Mikrosysteme widerspiegelt. Gleichzeitig werden die kulturellen und arbeitsorganisatorischen Barrieren zwischen Systementwicklung und Sicherheitsdoku- mentation überwunden. Damit wird eine grundlegende Verbesserung der Sicherheit, Transpa- renz und der Zertifizierung von PEMS erreicht und die Entwicklung dezidierter medizinischer Mikrosysteme drastisch erleichtert bzw. erst ermöglicht.

Artikel in Tagungsbänden

Piotr Gorczyca, Hannes Straß
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