BMFTR-Verbundprojekt VE-VIDES: Designmethoden und HW/SW-Co-Verifikation für die eindeutige ldentifizierbarkeit von Elektronikkomponenten

Abstract

Siemens war im Rahmen des Projektes VE-VIDES an den Arbeitspaketen 1, 3, 4 und 5 beteiligt. Dabei lag der Schwerpunkt auf der Entwicklung eines Szenario-basierten Testframeworks in Arbeitspaket 3 und die Entwicklung eines Industrie 4.0 Demonstrators in Arbeitspaket 4, um die Technologien des Teilvorhabens und die vertrauenswürdige Elektronik der Projektpartner zu erproben. Die modellbasierte Softwareentwicklung für Steuerungslösungen war zu Beginn des Projektes Stand der Technik und hat vor allem den Vorteil der frühzeitigen Testbarkeit der Software. Ebenso war der Einsatz von digitalen Zwillingen auf Komponenten- und Systemebene ein Stand der Technik, an den angeknüpft werden konnte. Dieser Stand war der Ausgangspunkt für ein noch nicht verfügbares Framework für Szenario-basiertes Testen, in welchem Testfälle automatisch aus Szenarien generiert werden sollen. Weiterhin sollten Tests sowohl am digitalen Zwilling als auch am realen Hardwareaufbau erfolgen, um die Vertrauenswürdigkeit im Sinne von Safety und Security systematisch und automatisiert prüfen zu können. Hierbei sollte das in der Software-Entwicklung etablierte Verfahren des Szenario-basierten Testens auf die Hardware-Entwicklung übertragen, sowie in den modellbasierten System-Entwicklungsprozess integriert werden. Im Rahmen von Arbeitspakete 1 erarbeitete Siemens in enger Zusammenarbeit mit den Projektpartnern Anforderungen an die Vertrauenswürdigkeit für Industrie 4.0 Systeme sowie die Anforderungen für Entwurfs- und Verifikationsschritte von einem wissenschaftlich-technischen Standpunkt aus. Siemens erarbeitete im Rahmen von Arbeitspaket 3, Aufgabe 3.5, eine system- und entwicklungsstandübergreifende Testumgebung, um die Vertrauenswürdigkeit von System- und Elektronikkomponenten in Anwendungs- und Fehlerszenarien automatisiert testen zu können und Vertrauenswürdigkeit eines Systems über dessen gesamten Entwicklungsprozess hinweg sicherzustellen.