Springe zum Hauptinhalt
Fakultät für Informatik

176. Informatik-Kolloquium

Dr.-Ing. Henrik Theiling


Sysgo AG Mainz

"Modern Real-Time Operating Systems"


Donnerstag, 08.12.2011
15:15 Uhr, 1/336

Alle interessierten Personen sind herzlich eingeladen!


Embedded Systems, i.e. computers embedded into electronic devices, are found everywhere today: in cars, planes, industrial automation, trains, medical equipment, and, as prices for microcontrollers go down, more and more in places were you'd not expect them like toasters and even loos, i.e. in almost any electronic device with a power cord or battery. Many of these systems have strict real-time constraints, and failing contraints may endanger lives, like in flight control on a plane or breaking assistance in cars. While in the early days, such systems were simple and were programmed without an operating system. Today they are more powerful and yet cheap computer systems allow higher integration. Therefore, there is need for highly specialised and reliable operating systems in this domain. And the development does not stop there: currently, there is ongoing scientific work as to how such systems can be implemented on multi-core systems, which complicate safety matters a lot. Sysgo AG is the vendor of the real-time operating system PikeOS, and will give an introduction to real-time systems and their challenges, and present some of their solutions to the problems currently being faced. The talk is suitable for all audiences who have some knowledge of computer systems.

About the presenter: Dr.-Ing. Henrik Theiling has studied computer science at Saarland University and made his PhD about static real-time systems analysis. He worked for AbsInt Angewandte Informatik GmbH in Saarbrücken for ten years, helping implement one of the first commercial static analysis tools worldwide for worst-case execution time analysis for real-time sytems. Since the beginning of 2010, he is a project manager for funded projects, mainly European projects, at Sysgo AG in Mainz, specialised in operating systems for real-time systems.