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 dlÃÃ
![Fachtagung Prozerechner 1981 Mnchen, 10. und 11. Mrz 1981 [Paperback]](/itemImage/2/8/0/5/2_812412.jpg "Fachtagung Prozerechner 1981 Mnchen, 10. und 11. Mrz 1981 [Paperback] xxx")