Im Bereich Betriebssysteme und Rechnerstrukturen werden Methoden zur Abbildung informationeller Systemmodelle auf die Strukturen realer Betriebssysteme und Rechnerarchitekturen entwickelt. Das besondere Interesse gilt hierbei den Ein- und Ausgabestrukturen sowie Fragen des Realzeitverhaltens von Rechenanlagen.