Logo
Universitaet Koblenz-Landau IST Logo

IST - Workgroup Zöbel
Projects

Diese Seite in deutsch anzeigen

[ Overview | Persons | Projects | Literature | Seminar Paper and Diploma Thesis | Education ]


  • 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.

    blue line
    Editor: Volker Freund
    Letzte Änderung: 18.06.2002

  • IST - Arbeitsgruppe Zöbel - PersonenIST - Arbeitsgruppe Zöbel - Literatur

    Ansprechpartner (Email, Telefon)
    Informationen zu diesem Server
    Suchmaschine/Sitemap/Hilfe