Zusammenfassung
Die Formulierung dynamischer Abhängigkeiten zwischen parallelen Rechenprozessen bildet eine zentrale Komponente bei der Spezifikation des Entwurfs von Realzeitsystemen. Ausgehend von der Vorstellung der in EPOS für die Beschreibung der Synchronisierung zur Verfügung stehenden Ausdrucksmittel wird gezeigt, in welchem Umfang damit den Forderungen nach problemnaher Formulierung der gebräuchlichsten Synchronisierungsprobleme, nach Prüfbarkeit der Spezifikationen auf Synchronisierungseigenschaften, nach Anwendbarkeit durch Automatisierungsingenieure und Rechnerunterstützung bei Analyse, Dokumentation und Umsetzung entsprochen wird.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Biewald, J., Göhner, P., Lauber, R. und Schelling, H.: EPOS - a specification and design technique for computer controlled systems. Proc. 4th ICSE Munich 1979, pp. 245–250.
Biewald, J., Göhner, P., Lauber, R. und Schelling, H.: Das Softwarewerkzeug EPOS zur Unterstützung der Ingenieurtätigkeiten beim Entwurf und bei der Wartung von Prozeßautomatisierungssystemen. Regelungstechnik 28 (1980) S. 11–15.
Göhner, P.: EPOS - Aladins Wunderlampe für Automatisierungsingenieure. Int. Kongreß für Datenverarbeitung IKD ′80, Berlin 7.-10. Okt. 1980, S. 331–338.
Biewald, J., Göhner, P. and Schelling, H.: Real-Time Features of EPOS: Formulation, Evaluation and Documentation. IFAC/IFIP Workshop on Real-Time-Programming, Leibnitz/AUSTRIA, April 14–16 (1980).
Göhner, P.: Möglichkeiten für die formale Spezifikation der Synchronisierung und Kommunikation paralleler Prozesse in G. Hommel (Editor): Verfahren und Hilfsmittel für Spezifikation und Entwurf von Prozeßautomatisierungssystemen, KFK-PDV 154, 3uni 1978, S. 288–299.
Göhner, P.: Ingenieurgerechte Spezifikation der Synchronisierung paralleler Rechenprozesse. Noch nicht veröffentlichte Dissertation, Universität Stuttgart, Institut für Regelungstechnik und Prozeßautomatisierung.
Peterson, 3.L.: Petri Nets Computing Surveys, Vol. 9, No. 3, September 1977, S. 223–252
Scheschonk, G.: Eine einführende Zusammenfassung der Petri-Netz-Theorie Bericht Nr. 77/12 Rote Reihe, Technische Universität Berlin, 1977
Herzog, O.: Static analysis of concurrent processes for dynamic properties using petri nets Lecture Notes in Computer Science 70 “Semantics of Concurrent Computation” 1979, S. 66–90
Lauer, P.E., Campbell, R.H.: Formal semantics of a class of high-level primitives for coordinating concurrent processes Acta Informatica, Vol. 5, Fasc. 1, 1975, S. 237–332
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
von Göhner, P. (1981). Spezifikation der Synchronisierung Paralleler Rechenprozesse in EPOS. In: Baumann, R. (eds) Fachtagung Prozeßrechner 1981. Informatik-Fachberichte, vol 39. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67977-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-67977-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10617-3
Online ISBN: 978-3-642-67977-3
eBook Packages: Springer Book Archive