Günther Schmidt (Ed.):
Fachtagung Prozeßrechner 1977, GMR-GI-GFK, Augsburg, 7. und 8. März 1977, Proceedings.
Informatik-Fachberichte 7 Springer 1977, ISBN 3-540-08123-2
Einführung
Dietrich Ernst: Begrüßung durch den Vorsitzenden der VDI/VDE-Gesellschaft Meß- und Regelungstechnik (GMR).
1-4
Hauptvorträge
G. Hirschberg: Automatisierung mit Rechnern Stand und Tendenzen.
5-38
W. Heusler: Rationalisierung der Softwareerstellung.
39-61
Georg Färber: Verteilung von Systemfunktionen auf Hardware und Software von Prozeßrechnern.
62-73
Granino A. Korn: High-speed Block-diagram Languages for Microprocessors and Minicomputers in Instrumentation, Control and Simulation.
74-108
Programmiermethoden I
K. H. Reitz: Durch Systematisierung zu einem freiprojektierbaren Software-Bausteinsystem zur Lösung von Automatisierungsaufgaben im Sinne von Regeln, Steuern und Überwachen.
109-120
E. Becherer, V. Kussl: Rationelle Software-Produktion durch mehrstufiges Montieren und Modifizieren von Prozeßrechnerprogrammen.
121-136
Peter F. Elzer: Ein Mechanismus zur Erstellung strukturierter Prozeßautomatisierungsprogramme.
137-148
Hans Windauer: DIPOL, eine anwendungsorientierte Programmiersprache für diskrete Prozesse auf der Basis von PEARL.
149-161
Programmiermethoden II
Thomas Roestel: Umsetzung von DIPOL-Programmen in PEARL-Programme.
162-172
Peter Rieder: Effiziente PEARL-Implementierung für den PR 330.
173-183
K. Okroy, Manfred Kersken: Anwendung und Automatisierung der Analyse von Prozeßrechnerprogrammen.
312-323
Helmut Röck: Das Verfahren der Korrelation von Testpunktsignalfolgen als Hilfsmittel bei der automatischen Fehlerdiagnose von Rechenanlagen.
324-334
Erfüllung von Realzeitaufgaben
Hagen Hultzsch: Methoden der Programmerstellung in zeitkritischen Systemen.
335-344
R. Henn: Ein antwortzeitgesteuertes Unterbrechungswerk - Auswirkungen auf Betriebssystem und Programmstruktur.
345-356
Bernhard Walke: Über wartezeitoptimale Abfertigungsstrategien für Prozeßrechner.
357-367
Neue Aspekte zur Programmausrüstung von Prozessrechnern
G. Koch, W. Oberle, B. Schreck: Mensch - Maschine - Kommunikation in einem PEARL - Echtzeit-Programmiersystem.
368-377
Th. Lalive d'Epinay: CHA-OS, Modellbetriebssystem an der ETH Zürich.
378-388
J. Wilske, Chr. Welke: Virtuelle Maschinen und Hauptspeicherverwaltung im Betriebssystem MARTOS.
389-399
E. Holler, Oswald Drobnik: Integrität, Ausfall und Wiederanlauf redundanter Prozeßdatenbasen in verteilten PDV-Systemen.
400-411
Exemplarische Erfahrungen und Probleme bei der Anwendung Fortschrittlicher Mittel
B. Krüger: Erfahrungen mit dem Programmiersystem PEARL.
412-421
Ernst Welfonder, M. Alt, J. Bühler: Implementierung der Prozeßrechnersprache PEARL für den Prozeßrechner AEG 60-10 und Anwendung an einem industriellen Prozeß.
422-439
I. Bey, P. Knauer: Automatische Informationsverarbeitung beim Aufbau neuartiger Systeme für die Klein- und Mittelserienfertigung.
440-454
Wilfried Jakob, M. Michler: Der Einsatz von Prozeßrechnersystemen zur Geschwindigkeitssteuerung von Schienenfahrzeugen.
455-464
Prüfung, Wartung und Testmittel
G. Dietel: Software-Abnahme und -Wartung, Voraussetzung für zuverlässige Prozeßrechnersoftware.
465-478
Werner Geiger, U. Voges: Eine Prüfstrategie für sicherheitsrelevante Prozeßrechner-Software.
479-488
J. Stamer: Ein Programmtestsystem für höhere Programmiersprachen auf einem Prozeßrechner.
489-500
Rudolf Lauber: Experimentelle Ermittlung der Leistungsfähigkeit von Prozeßrechnern bei ereignisgesteuerter Programmverarbeitung.
501-512
Wilhelm Rosenbohm: Ein Software-Meßsystem für Prozeßrechner.
513-524