»
Generierung von hochwertigen Testmustern für geringe Verzögerungsfehler
|
|
Im Rahmen des Projektes sollen neue Methoden zur Generierung von hochwertigen Testmustern entwickelt werden. Der Fokus liegt hier auf der Anwendung von formalen Methoden wie z.B. Boolesche Erfüllbarkeit (SAT) oder Pseudo-Boolesche Optimierung.
Kontakt: Prof. Dr. Rolf Drechsler, Dr. Stephan Eggersglüß
|
| |
»
SolVerTec – Solution Verification Technologies
|
|
Das Gründungsvorhaben SolVerTec zielt auf die Entwicklung eines automatischen Debugging-Werkzeuges.
Weitere Informationen:
http://www.solvertec.de
Kontakt: Prof. Dr. Rolf Drechsler, Dr. Görschwin Fey, Dr. Daniel Große, Dr. Andre Sülflow
|
| |
»
VisES: Visualisierungstechnologien für komplexe Systembeschreibungen zur Verbesserung der Sicherheit und Robustheit elektronischer Systeme
|
|
Das Projekt VisES zielt auf die Entwicklung neuer Visualisierungstechnologien für Systemenwürfe auf der elektronischen Systemebene (ESL).
Kontakt: Prof. Dr. Rolf Drechsler, Dr. Robert Wille
|
| |
»
Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
|
|
Im Rahmen des Reinhart Koselleck-Projektes werden neue Methoden entwickelt, welche die Korrektheit von modernen Schaltkreis- und Systementwürfen in Eingebetteten Systemen (embedded systems) sicherstellen.
Kontakt: Prof. Dr. Rolf Drechsler
|
| |
»
Synthese und Optimierung von Quantenlogik
|
|
In dem Projekt soll ein neuer Syntheseablauf für Quantenlogik entwickelt werden. Dabei kooperieren wir mit der University of Victoria (Kanada).
Kontakt: Prof. Dr. Rolf Drechsler
|
| |
»
Debugging Eingebetteter Systeme
|
|
Nachwuchsgruppe im Rahmen des
Emmy-Noether-Programms der DFG.
Kontakt: Dr. Görschwin Fey
|
| |
»
DIAMOND - Diagnosis, Error Modelling and Correction for
Reliable Systems Design
|
|
In DIAMOND werden Methoden entwickelt um das Debugging von Implementierungsfehlern und die Analyse transienter Fehler zu unterstützen.
Gerne können Sie auch weitere Informationen auf der Webseite des DIAMOND-Projektes entnehmen:
http://www.fp7-diamond.eu
Kontakt: Prof. Dr. Rolf Drechsler, Dr. Görschwin Fey
|
| |
»
SANITAS: Sichere Systeme auf Basis einer durchgängigen
Verifikation entlang der gesamten Wertschöpfungskette
|
|
Im Projekt werden neue Verifikationstechniken auf hoher Abstraktionsebene entwickelt.
Kontakt: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
|
| |
»
Qualitätsorientierte Synthese großer Funktionen in reversibler Logik
|
|
Traditionelle Schaltkreise werden immer mehr an ihre Grenzen stoßen, weshalb alternative Technologien erforscht werden müssen. Reversible Logik stellt mit ihren Anwendungen z.B. im Bereich von Quantenschaltkreisen oder des Low-Power Designs eine vielversprechende Alternative dar. Allerdings steht die Forschung in diesem Gebiet noch sehr am Anfang. Im Rahmen des DFG-Projektes sollen Verfahren zur Synthese reversibler Logik entwickelt werden, welche den Entwurf komplexer Schaltkreise in reversibler Logik mit überprüfbarer Korrektheit realisieren.
Kontakt: Prof. Dr. Rolf Drechsler
|
| |
»
Visualisierung von Schaltungen und Systemen
|
|
Das Projekt beschäftigt sich mit Methoden zur
Visualisierung von Schaltungen und Systemen.
In Kooperation mit der Firma Concept Engineering GmbH werden Algorithmen und Anbindungen an Systembeschreibungssprachen entwickelt.
Kontakt: Prof. Dr. Rolf Drechsler
|
| |
»
Formaler Robustheitsnachweis
|
|
Im Schaltkreisentwurf werden zunehmend Techniken wie zum Beispiel Redundanz eingesetzt um fehlertolerante - also robuste - Schaltkreise zu entwickeln. Im Forschungsprojekt werden Methoden für den automatischen formalen Nachweis dieser Robustheit entwickelt.
Kontakt: Prof. Dr. Rolf Drechsler, Dr. Görschwin Fey
|
| |
