Skip to main content
SpringerLink
Log in
Book cover

Prozessautomatisierung 1 pp 317–389Cite as

Zuverlässigkeit und Sicherheit von Prozessautomatisierungssystemen

  • Chapter

  • 1254 Accesses

Zusammenfassung

Die Begriffe Zuverlässigkeit und Sicherheit werden im täglichen Leben oft fast synonym gebraucht102. Bei technischen Systemen und besonders in der Prozessautomatisierung müssen sie deutlich auseinandergehalten werden:

  • Bei der Zuverlässigkeit geht es um die Verhinderung von Ausfällen eines Prozessautomatisierungssystems

  • Bei der Sicherheit geht es um die Verhinderung einer Gefahr.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   59.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur zu Kapitel 7

  1. Baur, P. et al.: The Verification Support Environment VSE. IFAC Symposium on Safety, Security and Reliability on Computers, Zürich 1992

    Google Scholar 

  2. Belli, F., Grochtmann, M. und Jade, O.: Erprobte Modelle zur Quantifizierung der Software-Zuverlössigkeit. Informatik-Spektrum 21 (1998) Heft 3 (Juni 1998), S. 131–140

    Article  Google Scholar 

  3. Beth, Th.: Zur Sicherheit in der Informationstechnik. Informatik-Spektrum 13 (1990), S. 204–215

    Google Scholar 

  4. Birkle, M.: Hard-und Software-Zuverlässigkeit - Ansätze für Zuverlässigkeitskenngrößen bei Systemen mit Entwurfsfehlern. FhGIITB-Mitteilungen 1997 S. 17–23. Karlsruhe: Fraunhofer-Institut IITB 1997

    Google Scholar 

  5. Clarke, E.M. and Emerson, E.A.: Synthesis of Synchronisation Skeletons for Branching Time Temporal Logic. In Logic of Programs: Workshop Yorktown Heights, NY, May 19981, Vol. 131 of LNCS, Springer Verlag 1981

    Google Scholar 

  6. Grundlegende Sicherheitsbetrachtungen für MSR-Schutzeinrichtungen. Berlin: Beuth-Verlag 1994

    Google Scholar 

  7. Begriffe der Sicherheitstechnik: Grundbegriffe

    Google Scholar 

  8. Zuverlässigkeit in der Elektrotechnik: Begriffe

    Google Scholar 

  9. Fleisch, W.: Validierung komponentenbasierter Software für eingebettete Echtzeitsysteme. Tagungsband GMA-Kongress 1998, VDI-Berichte Nr. 1397 (1998), S. 539–546

    Google Scholar 

  10. Göhner, P.: Spezifikation und Verifikation von sicheren Softwaresystemen. atp Automatisierungstechnische Praxis 37 (1995). Heft 4 S. 24–31.

    Google Scholar 

  11. Gräf, W.: Demokratie oder Diktatur in Steuerungssystemen. etz Heft 13/ 14 (1996) S. 50–52.

    Google Scholar 

  12. Hablawetz, D.: Applicationssoftware und Systemsicherheit in speicherprogrammierbaren Systemen. at Automatisierungstechnik 46 (1998) Heft 2 S. 84–92

    Google Scholar 

  13. Halang, W. A. und Konakovsky, R.: Sicherheitsgerichtete Software. at Automatisierungstechnik 46 (1998) Heft 2 S. 93–103

    Google Scholar 

  14. Huber, E., Burgbacher, G., Biegert, V. und Billmann, W.: Qualitative Systemanalyse und computerunterstützte Gefahrenidentifikation (HAZOP). Chemie-Ingenieur-Technik 69 (1997) S. 986–992

    Article  Google Scholar 

  15. Hölzlein, M. et al.: Erfahrungen mit der formalen Verifikation von Zustandsgraphen-Programmen. Tagungsband GMA-Kongress ‘88. VDI-Berichte Nr. 1397 (1998) S. 247–256

    Google Scholar 

  16. Hölzlein, M. et al.: Eine Verifikationskomponente für HiGraph. Tagungsband GMA-Kongress ‘88 S. 281–289

    Google Scholar 

  17. Hohler, B. u. Villinger, U.: Normen und Richtlinien zur Prüfung und Qualitätssicherung von Steuerungssoftware. Informatik-Spektrum 21 (1998) S. 63–72

    Article  Google Scholar 

  18. Hoare, C.A.R.: Mathematics of Programming. BYTE (August 1986), S. 115–149

    Google Scholar 

  19. Functional Safety of electrical/electronic/programmable electronic safety-related Systems. CEI/ IEC 61508–1 bis 61508–7, 1997

    Google Scholar 

  20. Kriterien für die Bewertung der Sicherheit von Systemen der Informationstechnik Amt für amtliche Veröffentlichungen der Europäischen Union 1991 (ISBN 92–826–3003–X.)

    Google Scholar 

  21. IT- Sicherheitshandbuch, Teil 1 und 2. Herausgegeben vom Bundes-amt für Sicherheit in der Informationstechnik (BSI) 1991

    Google Scholar 

  22. Internationale Vereinigung für soziale Sicherheit (IVVS): PAAG-Verfahren (HAZOP) Herausgeber: IVVS, Gaisbergstr. 11, Heidelberg (1990)

    Google Scholar 

  23. Konakovsky, R.: Defmition und Berechnung der Sicherheit vonAutomatisierungssystemen. Braunschweig: Vieweg- Verlag 1977.

    Book  Google Scholar 

  24. Konakovsky, R.: Sichere Prozessdatenverarbeitung mit Mikrorechnern. München- Wien: Oldenbourg 1988

    Google Scholar 

  25. Krebs, H.: Entwurf und quantitative Beschreibung diversitärer Software. Köln: Verlag TÜV Rheinland 1988

    MATH  Google Scholar 

  26. Krebs, H.: Diversität - eine unverzichtbare Maßnahme für zuverlässige und sichere Software. Tagungsband des Kolloquiums Software-Entwicklung der Technischen Akademie Esslingen (H.- J. Scheibl, Herausgeber) 1993, S. 729–735

    Google Scholar 

  27. Krebs, H. und Haspel, U.: Ein Verfahren zur Software-Verifikation Regelungstechnische Praxis rtp 26 (1984) S. 73–78

    Google Scholar 

  28. Lauber, R.: Zuverlässigkeit und Sicherheit in der Prozessautomatisierung. Informatik-Fachberichte Bd. 39 S. 52–64. Berlin- Heidelberg- N. Y.: Springer 1981

    Google Scholar 

  29. Lauber, R.: Aspects of Achieving Total Systems Availability. IFAC- Symp. SAFEPROCESS, Baden- Baden, Sept. 10–13, 1991. Preprints Vol. 1 pp. 35–41. Düsseldorf: VDI/ VDE- GMA 1991

    Google Scholar 

  30. Laufenberg, X.: Ein modellbasiertes Verfahren für die Gefahrenanalyse. Diss. Univ. Stuttgart 1996

    Google Scholar 

  31. Leveson, N. G.: Software Safety in Embedded Computer Systems. Comm of the ACM vol. 34 Nr. 2 (Feb. 91) S. 34–36

    Google Scholar 

  32. Litz, L.: Grundlagen der Sicherheitsgerichteten Automatisierungs-technik. at Automatisierungstechnik 46 (1998) Heft 2, S. 56–68

    Google Scholar 

  33. Meyer-Gräfe, K.: Sicherheitsgerichteter Interbus. TagungsbandGMA-Kongress’98, VDI-Berichte Nr. 1397 (1998), S. 717–724

    Google Scholar 

  34. Musa, J. D., Ianino, A. and Okumoto, K.: Software Reliability. New York: Mc Graw- Hill 1987

    Google Scholar 

  35. Schnieder, E.: Automatisierung von Sicherheitsfunktionen für den Schienenverkehr. at Automatisierungstechnik 46 (1998) Heft 2 S. 69–77

    Google Scholar 

  36. Software-Zuverlässigkeit — Grundlagen, konstruktive Maßnahmen, Nachweisverfahren. Herausgeber VDI-Gemeinschaftsausschuss Industrielle Systemtechnik. Düsseldorf: VDI- Verlag 1993

    Google Scholar 

  37. Sicherheitstechnische Begriffe für Automatisierungssysteme. VDI/VDE 3542. Blatt 1: Qualitative Begriffe. Blatt 2: Quantitative Begriffe. Blatt 3: Anwendungshinweise und Beispiele. Blatt 4: Zuverlässigkeit und Sicherheit komplexer Systeme. Berlin: Beuth- Verlag 1995

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sudetenstraße 22, 71263, Weil der Stadt, Germany

    Prof.Dr.-Ing. Dr.h.c. Rudolf Lauber

  2. Robinsonstraße 5, 81739, München, Germany

    Professor Dr.-Ing. Peter Göhner

Authors
  1. Prof.Dr.-Ing. Dr.h.c. Rudolf Lauber
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Professor Dr.-Ing. Peter Göhner
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lauber, R., Göhner, P. (1999). Zuverlässigkeit und Sicherheit von Prozessautomatisierungssystemen. In: Prozessautomatisierung 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-58446-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-58446-6_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65318-9

  • Online ISBN: 978-3-642-58446-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation