Skip to main content

Konzepte zur Erhöhung der Zuverlässigkeit und Sicherheit von Software durch Rechnersysteme mit typengesteuerten Operationen

  • Conference paper
Fehlertolerierende Rechnersysteme

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

  • 37 Accesses

Zusammenfassung

Es werden die Vorteile einer Rechnerarchitektur mit typengesteuerten Operationen diskutiert und eine effiziente und kostengünstige, mikroprogrammorientierte Implementierung beschrieben. Die besondere Eignung des Architekturmodells für den Einsatz in fehlertoleranten Systemen wird bezüglich Fehlerdetektion und Redundanzverwaltung als Basis für Rekonfigurationsmechanismen aufgezeigt.

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

Access this chapter

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.

Literatur

  1. Feustel, E.A.: On the Advantages of Tagged Architecture. IEEE-TOC, Vol. C-22, No. 7, S. 644–656, 1973.

    Google Scholar 

  2. Giloi, W.K.: Rechnerarchitektur, Springer-Verlag, Berlin, 1981.

    MATH  Google Scholar 

  3. Myers, G.J.: Advances in Computer Architecture. New York, Wiley-Interscience, 1978.

    MATH  Google Scholar 

  4. Berstis, V.: Security and Protection of Data in the IBM System/38. 7th Symposium on CA, IEEE, S. 245–252, 1980.

    Google Scholar 

  5. Giloi, W.K., Gueth, R.: Concepts and Realization of a High-Performance Data Type Architecture. International Journal of Computer and Information Science, 1982.

    Google Scholar 

  6. Campbell, R.H., Habermann, A.N.: The Specification of Process Synchronization by Path Expressions. Lecture Notes in Computer Science 16, S. 89–102, 1974.

    Article  Google Scholar 

  7. Keramidis, S., Reitenspiess, M., Weber, K.: Sprachkonstrukte und Betriebs-systemunterstützung für asynchrone und verteilte Prozeßsysteme. Berichte des German Chapter of the ACM 7, 1981.

    Google Scholar 

  8. Bonn, G., Patz, M., Saenger, F.: Grundprinzipien und Betriebserfahrungen mit Fehlererkennung und -anzeige bei fehlertoleranten Prozeßrechnersystemen mit funktionsbeteiligter Redundanz. Fachberichte Messen, Steuern, Regeln 5. INTER-KAMA-Kongreß 1980. S. 329–352. Springer-Verlag, Berlin, 1980.

    Google Scholar 

  9. Seifert, M.: Rekonfiguration und Restauration von verteilten Prozeßsystemen in fehlertoleranten verteilten Rechensystemen. Universität Karlsruhe, Dissertation 1981.

    MATH  Google Scholar 

  10. Randell, B.: System Structure for Software Fault Tolerance. IEEE Trans, on Software Engineering, SE-1, No. 2, Juni 1975, pp. 220–232.

    Google Scholar 

  11. Menasce, D.A., et al.: A Formal Model of Crash Recovery in Computer Systems. Proc. 12th Hawaii Int. Conf. on System Sciences, Honolulu, Jan. 1979, Vol. I, pp. 28–35.

    Google Scholar 

  12. Horning, J.J. Lauer, H.C., Meliiar-Smith, P., Randell, B.: A Program Structure for Error Detection and Recovery, in: Lecture Notes in Computer Science, 16, Springer Verlag, Berlin, 1974, S. 171–187.

    Google Scholar 

  13. Patz, M.: Zustandssicherungs- und Wiederanlaufverfahren für verteilte Netzbe-triebssysteme mit dynamischer Redundanz. Techn. Universität München. Dissertation 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bonn, G., Viehweger, W. (1982). Konzepte zur Erhöhung der Zuverlässigkeit und Sicherheit von Software durch Rechnersysteme mit typengesteuerten Operationen. In: Nett, E., Schwärtzel, H. (eds) Fehlertolerierende Rechnersysteme. Informatik-Fachberichte, vol 54. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68356-5_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68356-5_16

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-68356-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics