Fachtagung Prozeßrechner 1981: München, 10. und 11. März 1981: Informatik-Fachberichte, cartea 39

Massenanwendung von Kleinstprozeßrechnern.- Auswirkungen des Wandels der rechnergestützten Automatisierungstechnik auf die Aus- und Weiterbi1 dung von Ingenieuren und Informatikern.- Entwicklung der Prozessrechentechnik.- Größtintegration in der Bauelementetechnologie und deren Auswirkungen auf die Prozeßtechnik.- Zuverlässigkeit und Sicherheit in der Prozeßautomatisierung.- Entwurfshilfsmittel I.- Ein System für Entwurf, Implementierung und Echtzeitsimulation von Prozeßführungs-Software.- PCSL und ESPRESO — zwei Ansätze zur Formalisierung der Prozelßrechner- Softwarespezifikation.- AMETHYST eine rechnergestützte Analyse-, Entwurfs- und Dokumentations-Methode für leittechnische Systeme.- Entwurfshilfsmittel II.- Rechnergestützte Erzeugung der Dokumentation für den Funktions- und Softwareentwurf in EPOS.- Spezifikation der Synchronisierung paralleler Rechenprozesse in EPOS.- Rechnergestützte Umsetzung von EPOS-Spezifikationen in PEARL-Programme.- Entwurfshilfsmittel III.- Computerunterstützte Verteilung von Anwenderprogrammen in Mehrrechnersystemen.- Einsatz einer datenorientierten Entwurfsmethode in der Prozeßrechnerpraxis.- Erste Erfahrungen mit dem interaktiven Entwurfswerkzeug BOIE.- Rechnerstruktur und -Organisation I.- Struktur und Organisation von Prozeßrechner-Systemen am Beispiel der Steuerung für das Fusionsexperiment TEXTOR.- Aspekte eines Prozeßinformationssystems auf einem Rechnernetz.- Rechnerstruktur und -Organisation II.- Ein System-Diagnoseprozessor für zentralen und dezentralen Einsatz in Prozeßrechner-Systemen.- Auslagerung eines Echtzeit-Betriebssystems auf einen eigenen Prozessor.- RADAR 80 - Ein modulares Betriebssystem für Mikroprozessoren auf der Basis der ADA-Rendezvous-Technik.- Zuverlässigkeit und Sicherheit I.-Sicherheit durch vollständige Diversität.- Zuverlässigkeitseigenschaften diversitärer Programmsysteme.- Softwareentwicklung für ein zuverlässiges und sicheres Prozeßrechensystem.- Zuverlässigkeit und Sicherheit II.- Zur Ermittlung des Datenflusses und von Datenfluß-Anomalitäten in PEARL-Modulen.- Das sichere Mikrorechnersystem LOGISAFE.- Prozeßrechner für Sicherheitsaufgaben in Kernkraftwerken.- Mensch-Maschine-Kommunikation I.- Ein MMK-System mit verteilter Intelligenz zur Stand-alone Dateneingabe und für Prozeßführungsaufgaben.- Terminal-Dialogsystem für den Produktionsbereich.- Einsatz von Prozeßrechnern zur on-line Störungsanalyse und Mensch-Maschine-Kommunikation in Kernkraftwerken.- Mensch-Maschine-Kommunikation II.- Graphische DV in der Prozeßsteuerung.- Methoden der Mensch-Maschine-Kommunikation durch Einsatz graphischer Ein/Ausgaben.- Auswirkungen der Automatisierungstechnik auf Beschäftigung und Qualifikation.- Einsatz von Prozessrechnern I.- Prozeßrechner für die Netz- und Kraftwerksregelung.- Erfahrungen mit funktionaler Modularisierung beim Entwurf der Realzeitsoftware eines portablen Betriebsleitsystems des öffentlichen Personennahverkehrs.- Einsatz von Prozessrechnern II.- Prozeßrechnersystem zur Funktionsüberwachung und Gebührenerfassung für ein Nachrichtennetz mit dezentraler Vermittlung.- Das Kopplungssystem JOKER — eine Bilanz.- Einsatz von Realzeitsprachen I.- Eignung von Mehrrechner-PEARL zur Programmierung paralleler Prozesse; Erfahrungen und Folgerungen.- Pearl für verteilte Systeme.- Ergebnisse einer Basic-PEARL-Implementierung für Kleinrechner.- Einsatz von Realzeitsprachen II.- PEARL für Microcomputer.- Eine Systemsprache zur effizienten Implementierung von Grundsoftware.- Realisierung von Testfunktionen fürhöhere Sprachen durch interpretative Abarbeitung auf einem mikroprogrammierbaren Rechner.- Realzeit-Datenbanken.- BAPAS-DB — Ein portables offenes Datenbanksystem für Prozeßrechner.- DVS 300 - Ein Realzeit-Datenverwaltungssystem unter besonderer Berucksichtigung der Anfo-rderungen an eine prozeBnahe und an eine kommerzielle Datenverwaltung.- Implementierung einer relationalen Datenbank mittels PEARL als Systemsprache: Bildgestützte Programmierung von Prozeßrechnern.