SEMECO-Q2

Projekte

• Aktive Projekte
• Abgeschlossene Projekte

Toggle side column

SEMECO-Q2

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

Forschungsgruppe

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

Personen

• Hannes Straß
• Martin Diller
• Christel Baier

• 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