|
IST - Workgroup Zöbel Projects
Diese Seite in deutsch anzeigen
Real-time scheduling for event-and
time-driven activations
Design and evaluation of strategies for the execution of processes under real-time conditions.
Verification of real-time
properties
Development of methods and tools to prove real-time conditions; here applied to the protocols to avoid priority
inversion.
Modeling and analysing of computer systems
Modeling of computer systems by the methods of queueing theory and analysis of the derived results.
Education in real-time systems
Development of curricula for the education of real-time systems at universities.
Automatic guided vehicles (working group EZauto)
Derivation of basic methods to control vehicles with trailers and its realization by means of vehicle
and trailer models.
|