Home Formale Beschreibung der Funktion von Peripheriegeräten/ Peripheral devices: a formal description of their behaviour
Article
Licensed
Unlicensed Requires Authentication

Formale Beschreibung der Funktion von Peripheriegeräten/ Peripheral devices: a formal description of their behaviour

  • C. Stoffel
Published/Copyright: March 4, 2015

Nachdem die Unzulänglichkeit verbaler Beschreibungen der Schnittstelle zwischen Apparatur und Progammatur erkannt war, wurden zur präzisen Beschreibung der Funktionsweise der Apparatur hauptsächlich algorithmische Sprachen verwendet. In der vorliegenden Arbeit wird ein Automat zur formalen Beschreibung von Peripheriegeräten verwendet. Die Beschreibungsmethode wird am Beispiel eines Magnetbandgerätes demonstriert. Weiter wird gezeigt, wie die Beschreibungsmethode zur Beurteilung der Funktionsweise der Apparatur sowie zur Formulierung von Konstruktionsprinzipien für die Apparaturschnittstelle eingesetzt werden kann.

The designer of a computer system needs a precise description method to describe the architecture of the system. With this end in view and with regard to the known shortcomings of verbaI descriptions algorithmic languages came into use for this purpose. In this paper an automaton is used to describe the behaviour of peripheral devices formally. The suitability of this description method is exemplified by describing a magnetic tape unit. Finally the advantage of the formal method is demonstrated by expressing some helpful criterions for evaluating and designing the architecture of peripheral devices.

Published Online: 2015-3-4
Published in Print: 1979-3-1

© 2015 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München

Downloaded on 3.10.2025 from https://www.degruyterbrill.com/document/doi/10.1515/itit-1979-0303/html
Scroll to top button