R. Baumann (Ed.):
Fachtagung Prozeßrechner 1981, GI, VDI/VDE-GMR, KfK, München, 10. und 11. März 1981, Proceedings.
Informatik-Fachberichte 39 Springer 1981, ISBN 3-540-10617-0
@proceedings{DBLP:conf/prozess/1981,
editor = {R. Baumann},
title = {Fachtagung Proze{\ss}rechner 1981, GI, VDI/VDE-GMR, KfK, M{\"u}nchen,
10. und 11. M{\"a}rz 1981, Proceedings},
booktitle = {Fachtagung Prozessrechner},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {39},
year = {1981},
isbn = {3-540-10617-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Georg Färber:
Massenanwendung von Kleinstprozeßrechnern.
1-16
- Gerhard Krüger:
Auswirkungen des Wandels der rechnergestützten Automatisierungstechnik auf die Aus- und Weiterbildung von Ingenieuren und Informatikern.
17-30
Entwicklung der Prozeßrechentechnik
- Fritz A. Lohmann:
Größtintegration in der Bauelementetechnologie und deren Auswirkungen auf die Prozeßtechnik.
31-51
- Rudolf Lauber:
Zuverlässigkeit und Sicherheit in der Prozeßautomatisierung.
52-64
Entwurfshilfsmittel 1
- Peter Kohlhepp:
Ein System für Entwurf, Implementierung und Echtzeitsimulation von Prozeßführungs-Software.
65-75
- Jochen Ludewig:
PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation.
76-86
- Jörg Weihrauch, Willi Welti:
AMETHYST: Eine rechnergestützte Analyse-, Entwurfs- und Dokumentations-Methode für leittechnische Systeme.
87-96
Entwurfshilfsmittel 2
- Joachim Biewald:
Rechnergestützte Erzeugung der Dokumentation für den Funktions- und Softwareentwurf in EPOS.
97-106
- Peter Göhner:
Spezifikation der Synchronisierung paralleler Rechenprozesse in EPOS.
107-118
- Erich Joho, Silvije Jovalekic:
Rechnergestützte Umsetzung von EPOS-Spezifikationen in PEARL-Programme.
119-128
Entwurfshilfsmittel 3
Rechnerstruktur und -organisation 1
Rechnerstruktur und -organisation 2
- Klaus Schneider:
Ein System-Diagnoseprozessor für zentralen und dezentralen Einsatz in Prozeßrechner-Systemen.
186-195
- Theodor Tempelmeier:
Auslagerung eines Echtzeit-Betriebssystems auf einen eigenen Prozessor.
196-205
- Hans-Jürgen Ehling:
RADAR 80 - Ein modulares Betriebssystem für Mikroprozessoren auf der Basis der ADA-Rendezvous-Technik.
206-215
Zuverlässigkeit und Sicherheit 1
Zuverlässigkeit und Sicherheit 2
- Peter Puhr-Westerheide:
Zur Ermittlung des Datenflusses und von Datenfluß-Anomalitäten in PEARL-Modulen.
251-260
- Harri Brauer:
Das sichere Mikrorechnersystem LOGISAFE.
261-269
- Günter Glöe:
Prozeßrechner für Sicherheitsaufgaben in Kernkraftwerken.
270-279
Mensch-Machine-Kommunikation 1
Mensch-Machine-Kommunikation 2
Einsatz von Prozeßrechnern 1
Einsatz von Prozeßrechnern 2
Einsatz von Realzeitsprachen 1
- Gottfried Bonn, Lothar Lorenz:
Eignung von Mehrrechner-PEARL zur Programmierung paralleler Prozesse - Erfahrungen und Folgerungen.
387-398
- Martin Ammann:
PEARL für verteilte Systeme.
399-403
- Wilfried Gerth:
Ergebnisse einer Basis-PEARL-Implementierung für Kleinrechner.
404-412
Einsatz von Realzeitsprachen 2
Realzeit-Datenbanken
- Karl Goede, Klaus Landwehr:
BAPAS-DB - Ein portables offenes Datenbanksystem für Prozeßrechner.
443-452
- Bernd Opgenoorth:
DVS 300 - Ein Realzeit-Datenverwaltungssystem unter besonderer Berücksichtigung der Anforderungen an eine prozeßnahe und an eine kommerzielle Datenverwaltung.
453-464
- Ingolf Hertlin, Helmut Laubsch:
Implementierung einer relationalen Datenbank mittels PEARL als Systemsprache: Bildgestützte Programmierung von Prozeßrechnern.
465-476
Copyright © Mon Dec 14 20:17:58 2009
by Michael Ley (ley@uni-trier.de)