000340806 001__ 340806
000340806 005__ 20230814092956.0
000340806 0247_ $$aG:(GEPRIS)525715792$$d525715792
000340806 035__ $$aG:(GEPRIS)525715792
000340806 040__ $$aGEPRIS$$chttp://gepris.its.kfa-juelich.de
000340806 150__ $$aKonsistenz von datendefinierten Modellen (A05)$$y2023 -
000340806 371__ $$aProfessor Dr.-Ing. Matthias Althoff
000340806 371__ $$aProfessor Dr. André Platzer
000340806 450__ $$aSFB 1608 A05$$wd$$y2023 -
000340806 5101_ $$0I:(DE-588b)2007744-0$$aDeutsche Forschungsgemeinschaft$$bDFG
000340806 550__ $$0G:(GEPRIS)501798263$$aSFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme$$wt
000340806 680__ $$aViele 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.
000340806 909CO $$ooai:juser.fz-juelich.de:1010062$$pauthority$$pauthority:GRANT
000340806 909CO $$ooai:juser.fz-juelich.de:1010062
000340806 980__ $$aG
000340806 980__ $$aAUTHORITY