==== Completed Projects ====
\\
The following projects have been completed.
\\
\\
  * [[ENAV|eNav]]
  * [[forschung:Statische Analyse von Mikrocontroller-C-Programmen|Static analysis of C based Programs for Microcontrollers]]
  *  [[Applying Formal Methods for QoS Provisioning in Mobile Architectures]]
  * [[:forschung:automotive_embedded_systems2|Reliable Automotive Embedded Systems (2009\2010)]]
  * [[Versuchsträger Automotive Software]]
  * [[http://www.zamomo.de/|BMBF Projekt ZAMOMO]]
  * [[automotive_embedded_systems|Reliable Automotive Embedded Systems (2007\2008)]]
  * [[matlab_simulink_modelchecker]]
  * [[Teilnahme am Carolo Cup 2008]]
  * [[Sicherheitskritische Eingebettete Systeme]]
  * [[Automotive Software Engineering]]
  * [[Agile Methods for Embedded Systems]]
  * [[hycon|EU-Projekt HYCON]]
  * [[.:projekte:smartecla]]
  * [[Reglung von Fahrzeugkolonnen]]
  * [[https://artshop.embedded.rwth-aachen.de|artshop model repository]]
  * [[http://www.algosyn.rwth-aachen.de/|DFG-Graduiertenkolleg Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme]]
  * [[http://ti.tuwien.ac.at/ecs/research/projects/cevtes|CEVTES]] (cooperating with Vienna Technical University)
  * [[IMAV|MAVerix - Participation in the IMAV (International Micro Air Vehicle Competition)]]
  * [[en:forschung:projekte:rtandroid|RTAndroid - Real-Time Extension for the Android Platform and its Application in Industrial Automation]]
  * [[SQI|The UMIC Software Quality Initiative]]
  * [[en:forschung:variabilitaets-_und_komplexitaetsmanagement_in_der_modellbasierten_entwicklung_von_softwareproduktlinien|Variability and Complexity Management in the Model-based Development of Software Product Lines]]
  * [[.:projekte:eclavent]]