Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.


forschung:fruehere_projekte [2024/10/30 03:12] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1
Zeile 1: Zeile 1:
 +====== 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]]