====== Frühere Projekte ======
\\
Folgende Projekte wurden von unserem Lehrstuhl in der Vergangenheit bearbeitet und sind bereits abgeschlossen.
\\
\\
  * [[ENAV|eNav - Navigationssystem für Elektrorollstühle]]
  * [[Statische Analyse von Mikrocontroller-C-Programmen]]
  * [[automotive_embedded_systems2|FAT-Projekt Zuverlässigkeit von Automotive Embedded Systems (2009\2010)]]
  * [[Versuchsträger Automotive Software]]
  * [[http://www.zamomo.de/|BMBF Projekt ZAMOMO]]
  * [[automotive_embedded_systems|FAT-Projekt Zuverlässigkeit von Automotive Embedded Systems (2007\2008)]]
  * [[matlab_simulink_modelchecker|Evaluation von Matlab\Simulink-Modelcheckern]]
  * [[Teilnahme am Carolo Cup 2008]]
  * [[Sicherheitskritische Eingebettete Systeme]]
  * [[Automotive Software Engineering]]
  * [[Agile Methods for Embedded Systems]]
  * [[hycon|EU-Projekt HYCON]]
  * [[forschung:projekte:smartecla]]
  * [[Reglung von Fahrzeugkolonnen]]
  * [[forschung:variabilitaets-_und_komplexitaetsmanagement_in_der_modellbasierten_entwicklung_von_softwareproduktlinien]]
  * [[SQI|The UMIC Software Quality Initiative]]
  * [[IMAV|MAVerix - Teilnahme an der IMAV (International Micro Air Vehicle Competition)]]
  * [[https://artshop.embedded.rwth-aachen.de|artshop Modellrepository]]
  * [[http://www.algosyn.rwth-aachen.de/|DFG-Graduiertenkolleg Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme]]
  * [[lehrstuhl:stellen:hiwis:dfg-toolentwicklungzuranforderungsmodellierungundanalyse|DFG-Forschungsprojekt "Formale Anforderungsspezifikation und -analyse"]]
  * [[http://ti.tuwien.ac.at/ecs/research/projects/cevtes|CEVTES]] (in Kooperation mit TU Wien)
  * [[forschung:projekte:eclavent]]