Skip to main content
SpringerLink
Log in

Sicherheit durch vollständige Diversität

  • Conference paper
Fachtagung Prozeßrechner 1981

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

Zusammenfassung

Zunehmend werden technische Systeme automatisiert, die strengen Sicherheitsanforderungen genügen müssen. Wesentliche Elemente der Automatisierung sind heute Prozeßrechner und vor allem Mikroprozessoren bzw. Mikrorechnersysteme. Daher werden dringend Methoden benötigt, die die Konstruktion nachweisbar sicherer und zuverlässiger Hardware/Software-Systeme ermöglichen.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturhinweige

  1. Brinch Hansen, PJ: The architecture of concurrent programs. Prentice Hall, Englewood Cliffs (1977)

    MATH  Google Scholar 

  2. Elspas, B. Lewitt, K.N., Waldinger, R.J., Waksman, A: An assessment of techniques for proving program correctness. Computing Surveys 4, 97–147 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  3. Floyd, R.W: Assigning meanings to programs. In J.T. Schwartz (ed.)t Mathematical aspects of computer science, pp. 19–32. Amer. Math. Soc.t Providence, Rl (1967)

    Google Scholar 

  4. Görke, W: Zuverlässigkeitsprobleme elektronischer Schaltungen. Bl Hochschulskripten 820/820a, Mannheim (1968)

    Google Scholar 

  5. Hartmann, AC: A Concurrent PASCAL compiler tor minicomputers. Lecture Notes in Computer Science, 50, Springer-Verlag (1977).

    Google Scholar 

  6. Hoare, CAR: An axiomatic basis for computer programming. Comm. ACM 12, 576–583 (1969)

    Article  MATH  Google Scholar 

  7. Kapp, K.-H., Daum, R: Sicherheit und Zuverlässigkeit von Automatisierungssoftware. Informatik Spektrum 2, 25–36 (1979)

    Google Scholar 

  8. Kersken, M„ Ehrenberger, WJ Untersuchungen zur Software-Sicherheit und Zuverlässigkeit von Prozeßrechnern. GRS A-43, Gesellschaft für Reaktorsicherheit, Garching (1977)

    Google Scholar 

  9. Keller, R.M: Formal verification of parallel programs. Comm. ACM 19, 371–385 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  10. King, J.C: Symbolic execution and program testing. Comm. ACM 19, 385–394 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  11. Lauber, R: Safe software by functional diversity. EWICS, TC7, No 37 (1975)

    Google Scholar 

  12. Le, VK: The module: a tool for structured programming. Dissertation Nr. 6153, E.T.H. Zürich (1978)

    Google Scholar 

  13. Owicki, S., Gries, DJ An axiomatic proof technique tor parallel programs I. Acta Informatica 6, 319–340 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  14. Studiengesellschaft für Nahverkehr m.b.H: Sicherheit und Zuverlässigkeit von Nahtransportsystemen; Grundlagen für die Erstellung von Richtlinion. Schlußbericht und 6 Anhangbände. Hamburg (1978).

    Google Scholar 

  15. Modula: a language for modular multiprogramming. Software- Practice and Experience, 7, 3–35 (1977)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für angewandte Informatik — Transport- und Verkehrssysteme, Universität Karlsruhe, Kaiserstr. 12, 7500, Karlsruhe 1, Germany

    Karl-Heinz Kapp

  2. Transport- und Verkehrssysteme, Forschungsinstitut für Regelungstechnik und Prozeßautomatisierung — Informatik, Kaiserstr. 12, 7500, Karlsruhe 1, Germany

    Reiner Daum, Erich Sartori & Reinhard Harms

Authors
  1. Karl-Heinz Kapp
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reiner Daum
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Erich Sartori
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Reinhard Harms
    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

Kapp, KH., Daum, R., Sartori, E., Harms, R. (1981). Sicherheit durch vollständige Diversität. 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_19

Download citation

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

  • 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