Neuigkeiten
I11 bei der IMAV 2011
Das Team MAVerix der RWTH Aachen, bestehend aus Studenten der Institute Flugsystemdynamik und Informatik 11, nimmt ab dem 12-15 September 2011 an der International Micro Air Vehicle Conference and Flight Competition (IMAV) teil. Neben der Präsentation eines Papers auf der Konferenz wird das interdisziplinäre Team bei dem Outdoor Flugwettbewerb mit den selbst gebauten autonomen Flugzeugen MAVerix 1 und MAVerix 2 gegen 20 andere Mitstreiter antreten.
FMICS 2011: Best Paper Award für den I11
Das Veröffentlichung Past Time LTL Runtime Verification for Microcontroller Binary Code, welche von Jörg Brauer und Stefan Kowalewski in Kooperation mit Thomas Reinbacher, Andreas Steininger (beide TU Wien) und Martin Horauer (Technikum Wien) geschrieben wurde, ist auf dem 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011) mit einem Best Paper Award ausgezeichnet worden. Der Award wird jährlich verliehen von der European Association of Software Science and Technology (EASST).
MULTIFORM Projekt voll auf Kurs
Das MULTIFORM Projekt hat von den Reviewern der europäischen Kommission Bestnoten erhalten. Bereits am 4. und 5. Juli trafen sich die Partner des Projekts, zu denen auch der Lehrstuhl Informatik 11 gehört, in Sønderborg (Dänemark) zum wissenschaftlichen und organisatorischen Austausch. Eine Woche später fand das offizielle Review-Meeting in Brüssel statt. Das Gesamturteil wurde mit den Worten eingeleitet, dass es keinen Spaß machen würde, ein Projekt zu begutachten, bei dem es nichts zu kritisieren gäbe. So können alle Projektpartner gelassen dem schriftlichen Urteil der Kommission entgegensehen und die finalen zwölf Monate des Projekts angehen.
Der Lehrstuhl Informatik 11 hat im Rahmen des MULTIFORM Projekts eine Viertelmillion Euro an Geldern zugewilligt bekommen.