Folgende Projekte wurden von unserem Lehrstuhl in der Vergangenheit bearbeitet und sind bereits abgeschlossen.

• Statische Analyse von C-Programmen für Mikrocontroller
• FAT-Projekt Zuverlässigkeit von Automotive Embedded Systems (2009\2010)
• Versuchsträger Automotive Software Design
• BMBF Projekt ZAMOMO
• FAT-Projekt Zuverlässigkeit von Automotive Embedded Systems (2007\2008)
• Evaluation von Matlab\Simulink-Modelcheckern
• Teilnahme am Carolo Cup 2008
• Sicherheitskritische Eingebettete Systeme
• Automotive Software Engineering
• Agile Methods for Embedded Systems
• EU-Projekt HYCON
• SmartECLA
• Sicherheitsanalyse und Regelung von Fahrzeugkolonnen
• Variabilitäts- und Komplexitätsmanagement in der modellbasierten Entwicklung von Software-Produktlinien
• The UMIC Software Quality Initiative