SEMECO-Q2
Aus International Center for Computational Logic
SEMECO-Q2
Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity
Forschungsgruppe
Personen
- 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