Skip to main content
SpringerLink
Log in
Book cover

Fachtagung Prozessrechner 1977 pp 479–488Cite as

Eine Prüfstrategie für sicherheitsrelevante Prozeßrechner-Software

  • Conference paper

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

Zusammenfassung

Es besteht zunehmend der Bedarf, Prozeßrechner auch in sicherheitsrelevanten Realzeitanwendungen einzusetzen, wie z.B. bei der Bahnsteuerung oder im Reaktorschütz. Solch ein Einsatz erfordert eine sehr hohe Betriebszuverlässigkeit und -Sicherheit und einen Nachweis dieser Eigenschaften gegenüber einer Genehmigungsstelle. Während für festverdrahtete Systeme bereits anerkannte Methoden und Kriterien hierfür existieren, ist dies für Rechnersysteme und insbesondere Software weitgehend noch nicht der Fall.

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. U. Jüngst: Design Features of the Fuel Element Computerized Protection System BESSY IAEA/NPPCI Specialists’ Meeting, München, Mai 1976

    Google Scholar 

  2. U. Voges, W. Ehrenberger: Vorschläge zu Programmierrichtlinien für ein Reaktorschutzrechnersystem KFK-Ext. 13/75–2, Mai 1975

    Google Scholar 

  3. M. Seifert: SADAT. Ein System zur automatischen Durchführung und Auswertung von Tests KFK-Ext. 13/75–5, Juni 1976

    Google Scholar 

  4. J.B. Goodenough, S.L. Gerhart: Toward a Theory of Test Data Selection International Conference on Reliable Software, April 1975

    Google Scholar 

  5. K. Okroy: Grundzüge eines Verfahrens zur automatischen Analyse sequentieller Teile von Prozeßrechner-Programmen PDV-Entwicklungsnotizen PDV-E 73, April 1976

    Google Scholar 

  6. H.A. Hoermann: Principles of Reliability Assessment for Computerized Safety Systems CSNI Specialist Meeting on the Development and Application of Reliability Techniques to Nuclear Plant, April 1974

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Kernforschung mbH, Institut für Datenverarbeitung in der Technik, Karlsruhe, Deutschland

    W. Geiger & U. Voges

Authors
  1. W. Geiger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. U. Voges
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehrstuhl und Laboratorium für Steuerungs- und Regelungstechnik der Technischen Universität München, Arcisstraße 21, D-8000, München 2, Germany

    Günther Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Geiger, W., Voges, U. (1977). Eine Prüfstrategie für sicherheitsrelevante Prozeßrechner-Software. In: Schmidt, G. (eds) Fachtagung Prozessrechner 1977. Informatik - Fachberichte, vol 7. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66599-8_38

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-66599-8_38

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-66599-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation