Skip to main content
SpringerLink
Log in
Book cover

Software-Fehlertoleranz und -Zuverlässigkeit pp 24–38Cite as

Ein Schritt in Richtung Auf Fail-Safe Software

  • Conference paper

  • 61 Accesses

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 83))

Zusammenfassung

Es wird ein Verfahren vorgestellt, welches zu Programmen führt, die hinsichtlich ihres Kontroll- und Datenflusses fail-safe sind. Das Grundprinzip lautet: Während der Testphase wird vermerkt, was getestet worden ist, während des Programmablaufs wird nachgesehen, ob der betreffende Durchlauf unter den getesteten war. Falls dies zutrifft, wird die Ausgabe so zugelassen, wie sie das Programm vorgesehen hat, falls nicht, wird sicherheitsgerichtet reagiert.

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   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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

  1. W. Ehrenberger and S. Bologna Safety Program Validation by Means of Control Checking paper presented at the IFAC Workshop SAFECOMP 79, Stuttgart, May 1979

    Google Scholar 

  2. E. Nicki und M. Masur Erprobung einer Kontrollflußüberwachungsmethode anhand zweier FORTRAN Routinen Interner Bericht, GRS - I - 29, August 1978

    Google Scholar 

  3. L. Felkel, R. Grumbach, A. Zapp, F. Öwre, J.-U. Trengereid Analytical Methods and Performance Evaluation of the STAR Application in the Grafenrheinfeld Nuclear Power Plant IAEA/NPPCI Meeting, Munich Dec. 5–7, 1979

    Google Scholar 

  4. M. Masur und W. Ehrenberger Ein Selbstüberwachungsverfahren sicherheitsrelevanter Prozeßrechner Programme Bericht der Gesellschaft für Reaktorsicherheit, in Vorbereitung

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Forschungsgelände, Gesellschaft für Reaktorsicherheit, 8046, Garching, Germany

    Wolfgang Ehrenberger & Manfred Masur

Authors
  1. Wolfgang Ehrenberger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manfred Masur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Systemanalyse, Hochschule Bremerhaven, Columbusstraße 2, 2850, Bremerhaven, Germany

    Fevzi Belli

  2. Institut für Systemtechnik, GMD, Postfach 1240, 5205, St. Augustin, Germany

    Silvia Pfleger

  3. Siemens AG, Otto-Hahn-Ring 6, 8000, München 83, Germany

    Silvia Pfleger

  4. Wissenschaftliches Zentrum, IBM, Tiergartenstraße 15, 6900, Heidelberg, Germany

    Manfred Seifert

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrenberger, W., Masur, M. (1984). Ein Schritt in Richtung Auf Fail-Safe Software. In: Belli, F., Pfleger, S., Seifert, M. (eds) Software-Fehlertoleranz und -Zuverlässigkeit. Informatik-Fachberichte, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69705-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69705-0_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13383-4

  • Online ISBN: 978-3-642-69705-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation