Kurzportrait

Die Forschungsgruppe beschäftigt sich mit Themengebieten, die in unterschiedlichen Bereichen der Informatik angesiedelt sind. Zum einen obliegt es der Arbeitsgruppe, das Fachgebiet "Betriebssysteme (BS)" in der Lehre zu vertreten. In diesem Zusammenhang wurde vor kurzer Zeit ein Lehrbuch mit dem Titel "Modellbildung und Analyse von Rechensystemen" herausgebracht. Sowohl in der Forschung als auch in der Lehre wird das Fachgebiet "Echtzeitsysteme" von der Arbeitsgruppe vertreten. Insbesondere im Hinblick auf die Forschung werden folgende Ziele verfolgt: (1) Entwicklung von Zustandsmodellen, die eine systematische Verifikation von Synchronisierungsprotokollen (z.B. Protokoll zur Prioritätsvererbung) für zeitkritische Prozesse ermöglichen. (2) Planung und Durchführung des Projektes "EZauto", mit dem Ziel, einen Modell-Lastkraftwagen mit Anhänger autonom ein vorgegebenes Ziel ansteuern zu lassen. (3) Bestimmung der Trajektorien für vorwärts und rückwärts fahrende Gespanne. Weitere Info im WWW: http://www.uni-koblenz.de/~agrt/