Arbeitsweise

Typisch für die Arbeitsgruppe ist eine Forschungsarbeit in größeren Gruppen.  Dabei bieten sich für Studierende hervorragende Möglichkeiten zur Mitarbeit, sei es als studentische Hilfskraft oder in studentischen Arbeiten. Es gibt sehr praxisnahe Arbeiten, unter anderem in den vielen Industriekooperationen, ebenso wie eher theoretische Arbeiten mit hohem akademischen Anspruch.

Laufende und kürzlich abgeschlossene Projekte

Klassifikation

• Entwurf - Entwurfsmethoden und Algorithmen 
• Architektur - Architektur eingebetteter Systeme

1) SymTA/S

SymTA/S ist eine umfangreiche Software-Toolbox zur formalen Analyse und Optimierung eingebetteter Systeme, die in Zusammenarbeit vieler Mitarbeiter mit Unterstützung einer großen Zahl von Studierenden entstanden ist. SymTA/S wird mittlerweile kommerziell über die Firma Symtavision weiterentwickelt und vertrieben. Mit dieser Firma, an der die TU Braunschweig erstmals in ihrer Geschichte eine Beteiligung vereinbart hat, besteht weiterhin eine enge Kooperation in der Entwicklung neuer Verfahren. Daneben besteht eine langjährige internationale Vernetzung im europäischen Network-of-Excellence, ARTIST, in dem Werkzeuge und Methoden gekoppelt werden, u.a. mit der Linköping University, Schweden, der ETH Zürich, der Universität Bologna, und der DTU Kopenhagen sowie der Univ. of Notre Dame, USA.

Die laufende Forschung erstreckt sich auf eine Reihe von zusammenhängenden Projekten.   

• SuReal (Sicherheitsgarantien unter Realzeitbedingungen) (Entwurf)  
  Einbettung von SymTA/S in den Entwurfsprozess und hierarchische Modellierung von Ereignisströmen in Kommunikationssystemen
  Mitarbeiter: Jonas Rox
  Förderung: BmBF im Verbund mit anderen Universitäten und Forschungseinrichtungen (endete 2009)
  

• ACCORD (Analysis of Multicore Communication and its Optimization in Real-time Devices) (Entwurf)
  Formale Analyse von Speicherzugriffen in speichergekoppelten Multiprozessorsystemen
  Mitarbeiter: Simon Schliecker, Mircea Negrean
  Förderung: Unterstützung durch Industrie (endete 2010)

• COMBEST (COMponent-Based Embedded Systems design Techniques) (Entwurf)
  Theorie und formaler Rahmen für den komponentenbasierten Entwurf von eingebetteten Systemen
  Mitarbeiter: Jonas Rox
  Förderung: Europäische Gemeinschaft im Verbund mit VERIMAG, ETHZ, EPFL, INRIA, OFFIS, PARADES, Univ. Trent, EADS, IAI (STREP)
  
  
• Modewaves (Entwurf)
  Theorie und praktische Auswirkungen von Lastwellen beim Zustandswechsel in verteilten Systemen
  Mitarbeiter: Mircea Negrean
  Förderung: Deutsche Forschungsgemeinschaft
  
  
• Ekreit (Embedded Systems mit kleinen Recheneinheiten und zuverlässigem Zeitverhalten) (Entwurf)
  Zeit- und Leistungsgarantien in kleinen Mikrocontrollern mit Schwerpunkt Gebäudeautomation
  Mitarbeiter: Dr. Harald Schrom, Tobias Michaels
  Kooperationsprojekt mit den Firmen Symtavision und iQST
  Förderung: BmBF

2) Entwurfsprozesse    

• SAKE (System Analysis and Coordination of flexible Design Processes) (Entwurf)  
  Technische und wirtschaftliche Fragestellungen in firmenübergreifenden Entwurfsprozessen
  Mitarbeiter: Jonas Rox
  Kooperationsprojekt mit Prof. Thomas Spengler, Institut für Wirtschaftswissenschaften
  Förderung: Deutsche Forschungsgemeinschaft (endete 2009)

3) Adaptive und autonome und zuverlässige eingebettete Systeme

• AIS (Autonome integrierte Systeme) (Architektur und Entwurf)
  Architektur und Entwurf von adaptiven, autonomen Multi-Core-Architekturen für künftige Schaltungstechnologien mit Selbstheilung und Selbstoprimierung
  Mitarbeiter: Maurice Sebastian
  Verbundprojekt mit insgesamt 6 deutschen Universitäten
  Förderung durch das BmBF sowie mehrere Halbleiterfirmen im edacentrum (endete 2009)
    
• EPOC (Embedded Performance Analysis for Organic Computing) (Architektur und Entwurf)
  Autonome Kontrolle von Leistungsgarantien in künftigen organischen eingebetteten Systemen (SymTA/O)
  Mitarbeiter: Steffen Stein, Moritz Neukirchner
  Teilweise Förderung durch die Deutsche Forschungsgemeinschaft im Schwerpunktprogramm „Organic Computing“
  
  
• RECOMP (Reduced Certification Costs for Trusted Multi-core Platforms) (Architektur und Entwurf)
  Methoden, Werkzeuge und Plattformen für die kosteneffiziente Zertifizierung  von Multi-Core Systemen
  Mitarbeiter: Maurice Sebastian, Jonas Diemer (Boris Motruk)
  Kooperationsprojekt mit ca 40 Partnern
  Förderung: ARTEMIS (EU/BmBF)
  
  
• ASTEROID (An Analyzable, Resilient, Embedded Real-time Operating System Design) (Architektur und Entwurf)
  Aufbau eines Manycore-Betriebssystem mit zuverlässigem Echtzeitverhalten auch bei auftretenden Hardwarefehlern
  Mitarbeiter: Philip Axer
  Kooperationsprojekt mit Prof. Härtig, TU Dresden
  Förderung: Deutsche Forschungsgemeinschaft im Schwerpunktprogramm "Dependable Systems"

4) Rekonfigurierbare Architekturen 

• Morpheus (Multi-purpose Dynamically Reconfigurable Platform for Intensive Heterogeneous Processing) (Architektur und Entwurf)
  Architektur, Entwicklung und Programmierung einer integrierten Schaltung mit unterschiedlichen rekonfigurierbaren Komponenten.
  Mitarbeiter: Henning Sahlbach, Sean Whitty
  Kooperationsprojekt mit Thomson, ST, Thales, der Uni Karlsruhe, u.v.a.
  Förderung: Europäische Gemeinschaft (IP) (endete 2009)
  
  
• Flexelerator (Flexible Accelerators) (Architektur und Entwurf)
  Architektur, Entwicklung und Programmierung von kompakten, kosteneffizienten Systemen mit hoher Rechenleistung für den Einsatz in mobilen Bildverarbeitungssystemen basierend auf der FlexFilm Architektur
  Mitarbeiter: Henning Sahlbach, Sean Whitty
  Kooperationsprojekt mit Volkswagen
  Förderung: Industrie
  
  
• Digital Chameleon (Virtueller Spiegel) (Architektur und Entwurf)
  Echtzeitgraphiksysteme für Echtzeitretuschen von Kleidungen (Augmented Reality)
  Mitarbeiter: Daniel Thiele
  Kooperationsprojekt mit dem Institut für Computergrafik
  Förderung: Deutsche Forschungsgemeinschaft

5) Echtzeitfähige Many-Core-Systeme

• COMPOSE (Architektur und Entwurf)
  Architekturen für die Einbettung von Echtzeitanwendungen in große General Purpose Multi-Core-Systeme
  Mitarbeiter: Jonas Diemer
  Förderung: Intel (endete 2010)

Forschungs-Netzwerke

Spin-off Symtavision