... to the virtual presence of the Real-Time and Embedded Systems group!

Our research interests are the systematic design and analysis of computers that are not primarily perceived as computers. This is one definition of embedded systems - which come in very diverse shapes, ranging from miniature hearing aids over Lego Mindstorms and cell phones, X-ray machines and electronically assisted braking systems to large fly-by-wire aircrafts. These systems typically not only have to deliver exact outputs to the environment but also on time - hence they are also considered real–time systems.

Our main research thrusts at present are:

• Model based design and the visualization of complex reactive systems. The KIEL Project (Kiel Integrated Environment for Layout) and its successor KIELER (KIEL for the Eclipse Rich Client Platform) are prototypal modelling environments for the experimental validation of novel model design and analysis methods.
• Distributed, time-triggered real-time systems. Part of this effort is our involvement in the DECOS-project. A model railway which employs a modular field bus system (incl. CAN, TTP, Ethernet) serves as an experimental platform, primarily for teaching purposes.
• Reactive processors. These are processor architectures specifically designed for executing reactive applications in a resource-efficient manner with predictable timing properties. The Kiel Esterel Processor is a reactive processor whose instruction directly supports for the synchronous language Esterel.

Further information about our group - in German - can be found here.

Academic partner of Esterel Technologies.

 

Member of the IBM Academic Initiative.