Formale Beschreibung der Peripheriesteuerung

Aufgabe der Betriebssystemkomponente „Peripheriesteuerung“ ist die Steuerung der peripheren Prozessoren einer Rechenanlage. Üblicherweise besitzt die Peripheriesteuerung eine komplexe, heterogene Apparaturschnittstelle, welche eine systematische Konstruktion der Komponente nach allgemeinen Prinzipien nicht zuläßt. Es wird daher eine formale Methode zur Beschreibung der Schnittstellen entwickelt, welche mit möglichst wenig Beschreibungselementen deren Heterogenität zu erfassen gestattet. Auf der Basis dieser Methode wird ein Ansatz zur automatisierbaren Konstruktion von Peripheriesteuerungen entwickelt.