SANITAS: Sicherer Anwendungsentwurf mittels transaktionsbasierter Systemmodelle für zuverlässige Produkte der nächsten Generation

Die Beherrschung hochautomatisierter, komplexer Fertigung macht den Standort Deutschland heute einmalig und auch im Vergleich zu Niedriglohnländern als Produktionsstandort wettbewerbsfähig. Voraussetzung dafür, dass das so bleibt, sind leistungsfähige elektronische Automatisierungssysteme und der Einsatz der sogenannten Digitalen Fabrik bereits bei der Planung der Fertigungsanlagen. Der Erfolg hängt dabei wesentlich davon ab, dass die Sicherheitseigenschaften dieser realen Systeme durch eine lückenlose Verifikation mittels virtueller Modelle garantiert werden können. Das Forschungsvorhaben SANITAS ("Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette") erforscht und entwickelt eine ebenenübergreifende Systemverifikationsmethodik. SANITAS bezieht dabei alle Ebenen der Produktentwicklungskette vom mikro-/nanoelektronischen Teilsystem bis zum Endprodukt in die Verifikation mit ein. So wird erstmalig eine durchgängige Verifikation entlang der gesamten Entwicklungskette bis hin zur Fertigung zur Verfügung gestellt. Die Auswirkungen von mikro- und nanoelektronischen Komponenten und eingebetteter Software (SoCs) können somit frühzeitig erfasst und die Entwicklung sicherer, zuverlässiger und energieeffizienter Produkte gewährleistet werden. Hierzu entwickelt SANITAS neue Verifikationstechniken auf hoher Abstraktionsebene sowie Methoden zur effektiven Anbindung von Kundenanforderungen an die Verifikation auf Seiten der Zulieferer. Zusätzlich verfolgt SANITAS die Erforschung virtueller Modellierungstechniken für die Übergabe von Validierungsmodellen von den Zulieferern an die Systemhersteller. Somit wird in SANITAS die Erhöhung der Entwurfssicherheit durch eine durchgängige Verifikation erstmals als ganzheitliche und gemeinsame Aufgabe verstanden und ein effektives und effizientes Ineinandergreifen der Entwicklungsprozesse auf Seiten der Kunden und ihren Zulieferern innerhalb eines gemeinsamen methodischen Vorgehens forciert. Der Siemens-Sektor Industry wird als führender Anbieter im Bereich Fertigungsautomatisierung und Digitale Fabrik die Ergebnisse aus SANITAS nutzen, um die Entwicklung innovativer Automatisierungssysteme zu beschleunigen und um sein Angebot im Bereich der Digitalen Fabrik um die Virtualisierung der elektronischen Komponenten in Fertigungsanlagen entscheidend zu ergänzen. Durch die aktive Mitwirkung von Vertretern weiterer deutscher Schlüsseldomänen wird darüber hinaus ein breiter Nutzen für den Industriestandort Deutschland sichergestellt.

Verwendete Abkürzungen