SANITAS: Sichere Systeme auf Basis einer durchgängigen
Verifikation entlang der gesamten Wertschöpfungskette
Im Projekt werden neue Verifikationstechniken auf hoher Abstraktionsebene entwickelt.
Gerne können Sie auch weitere Informationen zum Projekt hier entnehmen:
http://sanitas.fzi.de
Kontakt: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
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.
Projektpartner:
- Fraunhofer-Institut für Integrierte Schaltungen, Institutsteil Entwurfsautomatisierung EAS Dresden
- FZI Forschungszentrum Informatik
- Infineon Technologies AG
- Micronas
- Robert Bosch
- Siemens Industry
- Tieto Deutschland GMBH
- Universität Bremen
- Universität Paderborn
