Zusammenfassung
Es werden die folgenden 3 Fragen behandelt: 1. Mit welchen Verfahren kann man Prozeßautomatisierungssysteme mit Prozeß- bzw. Mikrorechnern zuverlässig und sicher machen? 2. Wie kann man die Zuverlässigkeit und Sicherheit bewerten bzw. nachweisen? 3. Wie kann man erreichen, daß Prozeßautomatisierungssysteme während ihrer gesamten Lebensdauer trotz Änderungen und Wartungseingriffen zuverlässig und sicher bleiben? Für die Zuverlässigkeits- und Sicherheitsverfahren wird dabei eine allgemeine Klassifizierung nach der Perfektions- und der Fehlertoleranz-Strategie eingeführt. Die besonderen Vorteile, die Spezifikationssprachen und Entwurfsunterstützende Systeme gerade bei zuverlässigkeits- und sicherheitsrelevanten Prozeßautomatisierungssystemen bieten, werden hervorgehoben und erläutert.
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.: Das Softwarewsrkzeug EPOS zur Unterstützung der Ingenieurtätigkeiten beim Entwurf und bei der Wartung von Prozeßautomtisierungssystemen. Regelungstechnik 28 (1980) S. 11–15
Ehrenberger, W.D.: Aspects of Development and Verification of Reliable Process Computer Software. IFAC-Symposium Düsseldorf, 14.-17. Okt.1980, Preprints S.35–48
Ehrenberger, W.D. und Plögert, K.: Einsatz statistischer Methoden zur Gewinnung von Zuverlässigkeitskenngrößen von Prozeßrechnerprograimmen. Kernforschungszentrum Karlsruhe, Bericht Kfk-PDV 151 (1978)
Freeh, G.: Zuverlässigkeit und Sicherheit in Systemen mit hoher Sicherheitsverantwortung. Signal + Draht 66 (1974) S. 40–47
Gayen, J.T.: Verkehrsgerechte Sicherheitsnachweise. ETR 28 (1979) S. 923–925
Jentsch, W.: Wachsende Bedeutung der Zuverlässigkeits- und Sicherheits- technik. Elektroniker 1978 Nr. 12
Konakovsky, R.: Definition und Berechnung der Sicherheit von Automatisierungssystemen. Vieweg-Verlag Braunschweig 1977
Konakovsky, R.: On a diversified parallel nticrocoraputer system. In: Safety of Computer Control Systems (Ed.: R. Lauber ), Pergamon Press 1980, pp. 81–88
Kragt, H.: Human Reliability Engineering. IEEE Trans, on Reliability Vol. R-27 (Aug.1978) pp. 195–201
Kremer, G.: Die Sicherheit verfahrenstechnischer Anlagen. Dechema-Jahrestagung Frankfurt 16. Juni 1978
Lauber, R.: Safety of Computer Control Systems. Pergamon Press. Oxford 1980, pp. 1–2
Lauber, R.: Einsatz von Spezifikations- und Entwurfssprachen bei Systemen mit Sicherheitsanforderungen. Fachtagung “Sicherheit/Zuverlässigkeit und Zulassung von neuen Schnellbahnsystemen”, Köln, 31.1.-1. 2. 1980
Lohmann, H.-J.: Sicherheit von Mikrocomputern für die Eisenbahnsignaltechnik. Elektron. Rechenanlagen 22 (1980) S. 229–236
Pierick, K.: Die Grundstruktur der Sicherungsmaßnahmen im Verkehr. ETR 28 (1979) S. 919–922
Pierick, K. und Gayen, J.-T.: Eine Systematik von Sicherungsmethoden gegen Ausfälle. ETR 28 (1979) S. 942–944
Quietzsch, G.: Vorschlag zur Prüfung von Prozeßrechnern für Sicherheit saufgaben. Rtp 21 (1979) S.349–353 und 22 (1980) S. 11–15
Schweizer, G.: Was ist “Sicherheit” bei rechnergestiitzten Automatisierungssystemen? Elektron. Rechenanlagen 22 (1980) S. 245–249
Schwier, W.: Sicherheit von Prozeßrechnern und Mikroprozessoren. Rtp 21 (1979) S. 345–349
Overview of hardware-related safety problems of computer control systems. In: Safety of Computer Control Systems (Ed.: R. Lauber ). Pergamon Press, Oxford 1980, pp. 169–172
Stübler, H.J.: Zuverlässigkeitserfahrungen mit Prozeßrechnern. Rtp (1978) S. 171–176
Walther, H.: Sicherheitsvorschriften der Deutschen Bundesbahn - Anforderungen der DB an Entwickler, Hersteller und Lieferanten. Fachtagung Sicherheit/Zuverlässigkeit und Zulassung von neuen Schnellbahnsystemen, Köln, TÜV Rheinland 31.1.-1. 2. 1980 (Veranstalter: DORNIER System GmbH) S. 126–139
Wehner, L.: Zuverlässigkeit der Signaltechnik. Signal + Draht 68 (1976) S.33–47, 63–73 und 87–98.
Zeh, A.: Untersuchung der Zuverlässigkeit der Prozeßrechnersprache PEARL bei der Steuerung und Synchronisierung von Tasks. Diss. Universität Stuttgart 1977
Zeh, A.: Softwareentwicklung für ein zuverlässiges und sicheres Prozeßrechensystem. Tagung “ProzeBrechner ′81 ” München 9.–11. 3. 1981.
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
Lauber, R. (1981). Zuverlässigkeit und Sicherheit in der Prozessautomatisierung. 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_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-67977-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10617-3
Online ISBN: 978-3-642-67977-3
eBook Packages: Springer Book Archive