SANITAS Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette

Ziele

Moderne elektronische Systeme z.B. in der Industrieautomatisierung oder im Auto zeichnen sich nicht nur durch zunehmende Leistungsfähigkeit, sondern auch durch eine ständig wachsende Vernetzung der Systeme untereinander und mit ihrer Umwelt aus. Die hohen Anforderungen bezüglich Sicherheit, Umweltverträglichkeit und Komfort zu garantieren, ist eine große Herausforderung. Dies erfordert eine lückenlose Verifikation dieser Eigenschaften entlang der gesamten Entwicklungskette, nicht nur für einzelne Komponenten, sondern für das gesamte System.

Im SANITAS-Projekt arbeiten zwölf deutsche Unternehmen und Forschungseinrichtungen unter der Leitung von Infineon daran, den Entwurf elektronischer Systeme als „Enabling Technology“ zu verbessern. Gefördert durch das Bundesministerium für Bildung und Forschung im Rahmen der Hightech-Strategie und des Programms IKT 2020 bilden die Industrieinteressen aus den beteiligten Branchen Automobilindustrie, Industrieautomatisierung und Halbleiterentwicklung die Leitlinien der Forschungsarbeit. Um eine durchgängige Verifikationsmethodik auf Basis virtueller Modelle zu entwickeln, wird die gesamte Produktentwicklungskette vom elektronischen Teilsystem bis hin zum Endprodukt in die Verifikation einbezogen. Zum einen werden hierzu neue Techniken auf hoher Abstraktionsebene entwickelt, die eine effektive modellbasierte Überprüfung von Kundenanforderungen durch den Zulieferer erlauben. Zum anderen werden virtuelle Modellierungstechniken erforscht, mit deren Hilfe der Zulieferer dem Systemhersteller effiziente Validierungsmodelle seiner Komponente zur Verfügung stellen kann. Auf diese Weise wird es möglich sein, frühzeitig die Fähigkeiten des Gesamtsystems exakt auf die Kundenanforderungen abzustimmen. Die Schwerpunkte der Arbeiten von OFFIS werden dabei die Kopplung verschiedener Simulationsumgebungen und die automatische Transformation von Modellen zwischen unterschiedlichen Beschreibungssprachen und Abstraktionsebenen sein.

Personen

Wissenschaftliche Leitung

Publikationen
SystemC Based Verification of Complex Heterogeneous Systems

Görgen, Ralph and Kleen, Henning and Oetjens, Jan-Hendrik and Jores, Peter and Nebel, Wolfgang; CPMNS Tagungsband; 004 / 2012

Automatic Integration of Hardware Descriptions into System-Level Models

Görgen, Ralph and Oetjens, Jan-Hendrik and Nebel, Wolfgang; Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems; 004 / 2012

Compilation of Methodologies to Speed up the Verification Process at System Level

S. Radke, S. Rülke, M. F. S. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, H. Brazdrum, P. Janssen, H. M. Le, D. Große, R. Drechsler,E. Fehlauer, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, F. Headicke, R. Görgen, ; 005 / 2012

Transformation of Event-Driven HDL Blocks for Native Integration into Time-Driven System Models

Görgen, Ralph and Oetjens, Jan-Hendrik and Nebel, Wolfgang; Proceedings of FDL 2012; 009 / 2012

Partner
Robert Bosch GmbH
www.bosch.de

Laufzeit

Start: 01.10.2009
Ende: 30.09.2012