Software Entwurf in PEARL orientierter Form

Dieses Buch ist im wesentlichen aus einer zweisemestrigen Vorlesung mit den Abschnitten "Strukturierter Entwurf von Algorithmen der Prozess-Automatisierung" (Einfiihrung in den Software-Entwurf) und "Prozess-Automatisierungssprachen" (Software-Entwurfrur Realzeit-Systeme) mit Ubungen entstanden. Sie wird von mir seit etwa sieben Jahren an der Universitat Bremen rur Studenten der Elektrotechnik im 7. und 8. Semester mit dem Ziel angeboten, Realzeit-Software uber ihren Implementierungs-Aspekt hinaus als integralen Bestandteil der Darstellung von Automatisierungsproblemen bzw. deren Losungen zu vermitteln. Zu diesem Zweck hat sich der Software-Entwurf mit seinem zwischen der Anforderungs-Spezifikation und der Implementierung liegenden Abstraktionsgrad als geeignetes Instrument erwiesen, wobei neben den graphischen Darstellungsmitteln der Prozess automatisierungs-Sprache PEARL eine herausragende Rolle zukommt. PEARL ist in besonderem Masse auf die ProzessautomatisiefUng zugeschnitten und stellt eine dem ingenieurmassigen Denken leicht zugangliche und genormte Begriffswelt zur Verrugung. Es kann nun nicht das Ziel eines solchen Buches sein, das als Bindeglied zwischen Theorie und Implementation verstanden werden will, Vollstandigkeit anzustreben. Vielmehr mussen die wesentlichen Aspekte der Realzeit-Software als Bestandteil von Automatisierungssystemen an Hand von Anwendungs-Beispielen verdeutlicht werden, was hier im Sinne eines "Denkens in PEARL" geschieht. Dabei wurde bewusst davon ausgegangen, dass z. B. zur Vervollstandigung der Kenntnisse uber die PEARL-Sprachkonstrukte der PEARL 90 -Sprachreport bzw. andere Bucher uber PEARL herangezogen werden mussen, wie sie im Literaturverzeichnis angegeben sind. Andererseits kommt dies auch dem zur Verrugung stehenden Raum rur die graphischen Darstellungen zugute, deren relativ grosser Anteil mit zum Konzept und Ziel dieses Buche