SEMECO-Q2: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt |
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) Markierung: Zurückgesetzt |
||
| Zeile 19: | Zeile 19: | ||
|Logo=Semeco-logo.png | |Logo=Semeco-logo.png | ||
|Person=Hannes Straß, Martin Diller | |Person=Hannes Straß, Martin Diller | ||
|Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation, | |Forschungsgruppe=Computational Logic, Logische Programmierung und Argumentation, Algebraische und logische Grundlagen der Informatik | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
Version vom 5. März 2025, 15:45 Uhr
SEMECO-Q2
Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity
- 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
