Inhalt der vom Bundesministerium für Bildung und Forschung (BMBF) gef?rderten Leitinitiative ?Vertrauenswürdige Elektronik“ ist die Erforschung und Entwicklung neuartiger Methoden, L?sungen und Prozesse, welche vom Design über die Herstellung bis zur Analyse und Prüfung reichen. Das Ziel des Projektes CirroStrato ist es, den Einsatz von sogenannten rekonfigurierbaren Transistoren zu erforschen, die dem Schutz des geistigen Eigentums von Chip-Layouts dienen. Die Arbeitsgruppe für Rechnerarchitektur (AGRA) der Universit?t Bremen unter Leitung von Professor Rolf Drechsler erfüllt im Projektverbund zentrale Aufgaben zum Test und Verifikation der neuartigen Sicherungsmechanismen.

?Elektronische Ger?te, wie Mobiltelefone oder autonome Fahrzeuge, setzen vertrauenswürdige Elektronikkomponenten voraus. In Zeiten langer internationaler Wertsch?pfungsketten ist das eine stetige Herausforderung“, erl?utert Rolf Drechsler. Elektronikkomponenten müssen deshalb gegen den Know-how-Diebstahl effektiv geschützt werden, ohne dabei gro?e Mehrkosten zu verursachen, die Leistungsf?higkeit zu beschr?nken oder gar die korrekte Funktionalit?t der resultierenden Elektronikkomponente zu gef?hrden.

Verl?ssliche Tests und vollst?ndige Verifikation sind wichtig

Aus diesen Gründen muss der h?chst komplexe automatisierte Entwurfsablauf für regul?re Schaltkreistechnologien effektiv angepasst werden, sodass verl?sslich analysiert – also getestet und verifiziert – wird, bevor die resultierenden Elektronikkomponenten im Gesamtsystem weiterverarbeitet werden. ?Diese Prozesse erfordern leistungsf?hige Algorithmen, die eine vollst?ndige Analyse erm?glichen und damit alle m?glichen Umst?nde berücksichtigen, sodass nach erfolgreicher Prüfung die jeweilige Komponente sicher funktioniert“, sagt Drechsler. Dafür ben?tige man Methoden, die formale Techniken einsetzen, bei denen eine effektive Modellierung von entscheidender Rolle ist.

Die AGRA der Universit?t Bremen und vier weitere Partnerinnen und Partner entwickeln in dem Verbundforschungsprojekt CirroStrato neuartige Schutzmechanismen für den Know-how-Schutz von Elektronikkomponenten. Dabei setzen die Projektpartner Nanoelectronics Materials Laboratory (NaMLab) gGmbH (als Verbundkoordinator), GLOBALFOUNDRIES LLC & Co. KG, Technische Universit?t Dresden und NXP Semiconductors Germany GmbH (als assoziierter Partner) auf die neuartige Technologie der rekonfigurierbaren Feldeffekttransistoren (RFETs).

Aussp?hen und Plagiatismus entgegenwirken

Auf Basis dieser Technologie erforscht und konzipiert der Projektverbund CirroStrato einen automatisierten Entwurfsablauf für die RFET-basierte Technologie, der es erm?glichen wird, neuartige Schutzmechanismen in die Elektronik zu integrieren. Diese Mechanismen sollen ein Aussp?hen der Funktionalit?t von Elektronikkomponenten und somit einem m?glichen Plagiatismus entgegenwirken. Hierdurch soll eine sichere und vertrauenswürdige Wertsch?pfungskette entstehen, die ma?geblich zur Technologiesouver?nit?t Deutschlands beitr?gt. 

Die Entwicklungen sollen einerseits die Machbarkeit und Effektivit?t aufzeigen. Andererseits bilden sie die Grundlage für eine m?gliche Zertifizierung. In der beispielhaften Umsetzung eines Chips wird das neue Verfahren getestet und unter Einbeziehung des Bundesamts für Informationssicherheit (BSI) auf seine Sicherheit hin überprüft. Die Bremer Arbeitsgruppe bildet das zentrale Bindeglied zwischen der Fabrikation und der Zertifizierung von RFET-basierten Sicherungsmechanismen.

AGRA ist für die Qualit?tssicherung zust?ndig

Das Team von Professor Drechsler ist in dem Projekt für die Qualit?tssicherung zust?ndig. Sie entwickelt für den automatisierten Entwurfsablauf dieser neuartigen RFET-Technologie neue Methoden für den Test und die Verifikation. Erst diese Methoden erlauben es, eine Herstellung von Sicherungsmechanismen zu erm?glichen, welche die beabsichtigte Schutzfunktion implementieren. Aufgrund der hohen fachlichen Kompetenz auf diesem Gebiet h?lt die AGRA diese Aufgabe in dem Projektverbund inne. Zudem sind die Forschenden der Universit?t Bremen weltweit führend auf diesem Spezialgebiet. So nutzen die Bremer Wissenschaftlerinnen und Wissenschaftler die vorangegangenen Forschungsarbeiten im Umfeld der Testgenerierung, der formalen Verifikation und dem Einsatz von formalen Modellierungstechniken.

Eine Vielzahl dieser Arbeiten wurde bereits von der Fachcommunity positiv aufgenommen und führte in den vergangenen Jahren zu 澳门皇冠_皇冠足球比分-劲爆体育 als zwanzig Publikationen – unter anderem auf den Top-Tagungen des Schaltkreistests, wie beispielsweise dem European Test Symposium (ETS) und der Design Automation and Test in Europe (DATE). Einige dieser Arbeiten wurden von Dr. Sebastian Huhn entwickelt, der im Rahmen von CirroStrato die stellvertretende Projektleitung übernehmen wird.

Mehr als eine halbe Million Euro für das AGRA-Team

Das Projekt CirroStrato wird vom Bundesministerium für Bildung und Forschung (BMBF) im Rahmen der Leitinitiative ?Vertrauenswürdige Elektronik“ mit 2,11 Millionen Euro für drei Jahre gef?rdert. Davon erh?lt die AGRA der Universit?t Bremen 澳门皇冠_皇冠足球比分-劲爆体育 als eine halbe Million Euro.

Zum Projektnamen: Bei CirroStrato handelt es sich um das italienische Wort für ?CirroStratus“, welches der meteorologische Begriff für eine Schleierwolke ist. Diese Analogie zur Schleierwolke bezieht sich dabei auf die erfolgende ?Verschleierung“ der Schaltung durch die zu entwickelnden Schutzmechanismen, welche sich wie eine Wolke über die Schaltung legen, wodurch ein potenzielles Aussp?hen verhindert wird.

澳门皇冠_皇冠足球比分-劲爆体育:

www.elektronikforschung.de/vertrauenswuerdigkeit (Pressemitteilung zur BMBF-Leitinitiative ?Vertrauenswürdige Elektronik“)
www.elektronikforschung.de/projekte/ve-cirrostrato (Informationen zum Projekt CirroStrato)
www.informatik.uni-bremen.de/agra/ger/index.php (Arbeitsgruppe Rechnerarchitektur)
www.uni-bremen.de

Fragen beantwortet:

Prof. Dr. Rolf Drechsler
Arbeitsgruppe Rechnerarchitektur
Fachbereich Mathematik / Informatik
Universit?t Bremen
Telefon: +49 421 218-63932
E-Mail: drechsleruni-bremen.de