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.
Nachrichten
Sehr gute Platzierungen bei Solver-Competition
Im Rahmen der diesjährigen "21th International Conference on Theory and Applications of Satisfiability Testing" Konferenz (SAT '18) in Oxford, UK wurden die Freiburger Solver HQS und Pacose in den Kategorien DQBF bzw. MaxSAT ausgezeichnet.
» mehr
SMILE Goes Gaming
SMILE, das erfolgreiche Classroom Response System Smartphones in der Lehre, wird erweitert zur Nutzung von Gamification in der Lehre (GILE)
» mehr
Fraunhofer und Universität Freiburg verstetigen ihre Zusammenarbeit in der Weiterbildung
Die Fraunhofer-Gesellschaft und die Freiburger Akademie für Universitäre Weiterbildung (FRAUW) der Universität Freiburg bieten gemeinsam einen weiterbildenden Masterstudiengang und drei Zertifikatsprogramme im Bereich öffentliche Sicherheit, Energie und Nachhaltigkeit an.
» mehr
10 Jahre Online Studiengang „Intelligente Eingebettete Mikrosysteme"
Von überall, zu der Zeit lernen, wenn es einem passt - unser berufsbegleitender Online Studiengang feiert Geburtstag.
» mehr