Wir entwickeln Methoden und Verfahren, um die Korrektheit, Zuverlässigkeit und Robustheit von Schaltungen und Systemen vom Entwurf über die Fertigung bis hin zum Einsatz im Feld sicherzustellen.

Unsere Arbeiten – vielfach durchgeführt mit Kooperationspartnern aus einem internationalen industriellen und universitären Umfeld, wie z.B. Mentor Graphics, Infineon, Sick AG, LIRMM Montpellier, University of Iowa, University of Tokyo – finden statt vor dem Hintergrund stetiger technologischer Fortschritte, die die kostengünstige Realisierung von Chips mit vielen Millionen Transistoren erlauben und so schließlich zu immer komplexeren Systemen führen.

Im Unterschied zu klassischen Rechenanlagen und PCs sind dies heute vielfach eingebettete Systeme, die durch die Integration von Prozessoren, Spezialhardware und Software entstehen. Sie sind inzwischen unverzichtbarer Bestandteil unseres Alltags und erschließen sich täglich weitere Anwendungsfelder, z.B. im Verkehrs- wesen (Autos, Eisenbahnen und Flugzeugen), in der Medizintechnik, in der Industrie- automation, aber auch in der Mobilkommunikation und Unterhaltungselektronik.