... zur virtuellen Präsenz der Arbeitsgruppe (AG) Echtzeitsysteme und Eingebettete Systeme!

Unser Interesse gilt dem systematischen Entwurf und der Analyse von Computern, welche nicht in erster Linie als Computer wahrgenommen werden. Dies ist eine Definition für eingebettete Systeme - welche uns auf vielfältigste Art und Weise begegnen, von miniaturisierten Hörgeräten über Lego Mindstorms, Handys, Röntgengeräten, ABS-Bremsen bis zu Fly-by-Wire Flugzeugen. Solche Systeme müssen typischerweise nicht nur die richtigen Ausgaben an die Umwelt liefern, sondern auch rechtzeitig - es handelt sich hierbei also um Echtzeitsysteme.

Unsere derzeitigen Forschungsschwerpunkte sind:

• Modellbasierter Entwurf und die Visualisierung komplexer reaktiver Systeme. Das KIEL Projekt (Kiel Integrated Environment for Layout) sowie das Nachfolgesystem KIELER (KIEL for the Eclipse Rich Client Platform) sind prototypische Modellierungsplattformen, welche zur experimentellen Validierung verschiedenster Modellierungs- und Analyseverfahren dienen.
• Verteilte, zeitgesteuerte Echtzeitsysteme. Hierzu sind wir auch im DECOS-Projekt involviert. Eine Modelleisenbahn, welche ein modulares Feldbussystem (incl. CAN, TTP, Ethernet) einsetzt, dient als Experimentierplattform, primär in der Lehre.
• Reaktive Prozessoren. Hierbei handelt es sich um Prozessorarchitekturen, welche auf die effiziente und zeitlich vorhersagbare Implementierung reaktiver Anwendungen ausgerichtet sind. Der Kiel Esterel Prozessor ist ein reaktiver Prozessor, dessen Instruktionssatz eine direkte Unterstützung für die synchrone Sprache Esterel bietet.

Weitere Informationen über unsere Arbeitsgruppe finden sich hier. Interessierte Studenten seien auch auf das Wiki verwiesen, insbesondere das RT-Group-Manual und die Hinweise zur Anfertigung und Benotung von Abschlussarbeiten.

Academic partner of Esterel EDA Technologies provider of ESL synthesis for control-intensive IP, including formal verification of assertions, SystemC, VHDL, and Verilog code generation

Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.

 

Mitglied der IBM Academic Initiative.