Projects

Several projects are in cooperation with partners from academia and industry (e.g. AMD, Bosch, Concept Engineering, COSEDA Technologies, Kasper & Oswald, Infineon, Intel, Mentor Graphics, MINRES Technologies, Mixed Mode, OneSpin Solutions, Siemens, Volkswagen)

Overview

Since 2020 VerA: Vollautomatische Formale Verifikation Arithmetischer Schaltkreise
Research project funded by the DFG (German Research Foundation)
PI Prof. Daniel Große in collaboration with Prof. Rolf Drechsler, Prof. Christoph Scholl
Since 2020 AUTOASSERT: Simulationsbasiertes Entwurfswerkzeug zur automatisierten Überprüfung von analog-digitalen Elektroniksystemen
Research project funded by the BMBF (German Ministry of Education and Research)
Cooperation with COSEDA Technologies GmbH
PI Prof. Daniel Große
2020-2020 Scale4Edge: Entwicklungsplattform und Ökosystem für skalierbare Spezialprozessoren im Edge-Computing
Research project funded by the BMBF (German Ministry of Education and Research)
Cooperation with MINRES Technologies GmbH, Bosch and Infineon Technologies
PIs: Dr. Daniel Große, Vladimir Herdt, Prof. Rolf Drechsler
Since 2019 VerSys: Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme
Research project funded by the BMBF (German Ministry of Education and Research)
PIs: Dr. Daniel Große, Prof. Rolf Drechsler, Prof. Christoph Lüth
2018–2020 SATiSFy: Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen
Research project funded by the BMBF (German Ministry of Education and Research)
Cooperation with Volkswagen, Bosch, Concept Engineering, Kasper & Oswald
PIs: Dr. Daniel Große, Prof. Tim Güneysu, Prof. Dieter Hutter, Prof. Rolf Drechsler
2017–2020 Formalizations and properties of plans
Research project funded by the DFG (German Research Foundation) within the Collaborative Research Center (SFB 1320) EASE (Everyday Activity Science and Engineering)
PI Dr. Daniel Große in collaboration with Prof. Rolf Drechsler
2017–2020 CONVERS: Verifikationsautomatisierung für Mixed Signal Systeme
Research project funded by the BMBF (German Ministry of Education and Research)
Cooperation with COSEDA Technologies GmbH
PI Dr. Daniel Große
2017–2020 SecRec: Security by Reconfiguration
Research project funded by the BMBF (German Ministry of Education and Research)
Cooperation with Bosch and Mixed Mode
PIs: Prof. Tim Güneysu, Dr. Daniel Große, Prof. Rolf Drechsler
2017–2019 CONFIRM: Automatisierter Firmware-Entwurf unter Berücksichtigung von Timing- und Power-Budgets für anwendungsspezifische Elektroniksysteme
Research project (EDA-Clusterforschung) funded by the BMBF (German Ministry of Education and Research) and industry (Bosch, Infineon, Intel, and Mentor Graphics)
PIs: Dr. Daniel Große, Prof. Rolf Drechsler
2015–2016 EffektiV: Effiziente Fehlereffektsimulation mit virtuellen Prototypen zur Qualifikation intelligenter Motion-Control-Systeme in der Industrieautomatisierung
Research project funded by the BMBF (German Ministry of Education and Research)
PIs: Dr. Daniel Große, Prof. Rolf Drechsler
2013–2014 SolVerTec: Entwicklung eines automatischen Debugging Werkzeugs
Transfer project Phase II, funded by the BMWi (Federal Ministry for Economic Affairs and Energy) within the EXIST Transfer of Research
PIs: Dr. Daniel Große, Jan Wessels
2011–2013 SolVerTec: Entwicklung eines automatischen Debugging Werkzeugs
Transfer project Phase I, funded by the BMWi (Federal Ministry for Economic Affairs and Energy) within the EXIST Transfer of Research
PIs: Dr. Daniel Große, Prof. Rolf Drechsler, Prof. Görschwin Fey, Dr. Andre Sülflow
2009–2011 SANITAS: Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette
Research project funded by the BMBF (German Ministry of Education and Research)
Cooperation with Infineon
PIs: Dr. Daniel Große, Prof. Rolf Drechsler