SEMECO-Q2

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

SEMECO-Q2

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

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