Skip to main content
SpringerLink
Log in
Book cover

Fachtagung Prozeßrechner 1981 pp 240–250Cite as

Softwareentwicklung für ein zuverlässiges und sicheres Prozeßrechensystem

  • Conference paper

  • 52 Accesses

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

Zusammenfassung

Über die Entwicklung von Software für Systeme mit Sicherheitsverantwortung und über den zugehörigen Sicherheitsnachweis liegen noch wenig Erfahrungen vor. Deshalb werden zuerst allgemeine Lösungsmöglichkeiten vorgestellt und diskutiert. Über erste Erfahrungen beim Entwurf eines Systems mit zweikanaliger diversitärer Software/Hardwarestruktur wird anschließend berichtet. Entscheidungsgrundlagen werden erläutert, aufgetretene Probleme diskutiert und das Konzept für den Sicherheitsnachweis vorgestellt.

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.

Literaturverzeichnis

  1. J. Biewald, P. Göhner, R. Lauber, H. Schelling, Das Softwarewerkzeug EPOS zur Unterstützung der Ingenieurtätigkeit beim Entwurf und bei der Wartung von Prozeßautomatisierungssystemen, Regelungstechnik 28, 1980, S. 11–15

    Google Scholar 

  2. B.W. Boehm, Software and its Impact: A quantitative assessment, Datamation, May 1973

    Google Scholar 

  3. P. Göhner, Ingenieurgerechte Spezifikation der Synchronisierung paralleler Rechenprozesse, Dissertation Universität Stuttgart, noch nicht veröffentlicht

    Google Scholar 

  4. R. Lauber Software by functional diversity, European Purdue Workshop, TC 7. No. 37 (1975)

    Google Scholar 

  5. R. Lauber, Einsatz von Spezifikations- und Entwurfssprachen bei Systemen mit Sicherheitsanforderungen, Vortrag auf der Fachtagung “Sicherheit/Zuverlässigkeit und Zulassung von neuen Schnellbahnsystemen” am 31.1./1.2.80 bei TÜV Rheinland in Köln

    Google Scholar 

  6. J. Lindner, Automatisches Betriebsführungssystem der Stadtbahn RheinRuhr, Internationales Verkehrswesen IV September/Oktober 1978, Tetzlaff-Verlag, Darmstadt

    Google Scholar 

  7. K. Pierick, Die Rechnertechnologie als Herausforderung an die Sicherheitsgrundsätze der öffentlichen Verkehrsmittel, Die Bundesbahn 3/1978

    Google Scholar 

  8. K. Pierick, Eine Systematik von Sicherungsmethoden gegen Ausfälle, IVEV- SRRP-01-1179, Institut für Verkehr, Eisenbahnwesen und Verkehrssicherung, TU Braunschweig

    Google Scholar 

  9. Sicherheit und Zuverlässigkeit von Nahtransportsystemen, Phase 1, Dezember 1978, Studiengesellschaft Nahverkehr Hamburg

    Google Scholar 

  10. Pflichtenheft zum Forschungsvorhaben BMFT TV 7915 8, 1980

    Google Scholar 

  11. E. Weitner, H. Ulzhöfer, Systemkonzept, Forschungsvorhaben BMFT TV 7915 8, 1980, Stadtbahngesellschaft Rhein-Ruhr

    Google Scholar 

  12. A. Zeh, Eine vergleichende Untersuchung von Prozeßrechnersprachen hinsichtlich Zuverlässigkeit, Arbeitspaket 460 aus SNV 78

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Prozeßrechnerprogrammierung mbH, Balanstr. 136, 8000, München 90, Germany

    Albrecht Zeh

Authors
  1. Albrecht Zeh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, D 8000, München 2, Germany

    R. Baumann

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zeh, A. (1981). Softwareentwicklung für ein zuverlässiges und sicheres Prozeßrechensystem. 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_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-67977-3_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10617-3

  • Online ISBN: 978-3-642-67977-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation