guest ::
SFB 1608 A05
Konsistenz von datendefinierten Modellen (A05)
| Coordinator | Professor Dr.-Ing. Matthias Althoff ; Professor Dr. André Platzer |
| Grant period | 2023 - |
| Funding body | Deutsche Forschungsgemeinschaft |
| DFG | |
| Identifier | G:(GEPRIS)525715792 |
⇧ SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme ⇧
Note: Viele neue CPS enthalten Komponenten aus dem maschinellen Lernen, die oft schwer zu modellieren, zu verifizieren und vorherzusagen sind. Wir gehen dieses Problem an, indem wir Konsistenzprobleme zwischen dem spezifizierten Verhalten und dem tatsächlichen Verhalten zur Laufzeit lösen. Daher untersuchen wir, wie Spezifikationen formuliert werden können, die ein System der künstlichen Intelligenz (KI) einhalten muss, und wie ein Sicherheitsschild systematisch aufgebaut werden kann, um die Sicherheit zu jedem Zeitpunkt zu gewährleisten. Dieses Sicherheitsschild gewährleistet die Konsistenz von datendefinierten Modellen und erlaubt es, KI-System in ein V-SUM einzubinden.
Recent Publications
There are no publications
Record created 2023-08-08, last modified 2023-08-14