Skip to main content
SpringerLink
Log in

Testbarkeit von Schutzsystemen

  • Conference paper
Book cover Fehlertolerierende Rechnersysteme

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

Zusammenfassung

Es wird ein allgemeines Schutzsystem-Modell angegeben, für das die Menge der funktionellen Fehler betrachtet wird. Daraus werden die Voraussetzungen hergeleitet, unter denen ein solches Schutzsystem testbar ist, d.h., daß die durch das Modell spezifizierten Fehler entdeckt werden können. Abschließend wird für drei konkrete Schutzsysteme untersucht, inwieweit in diesem Sinne die Voraussetzungen für ihre Testbarkeit gegeben sind.

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.

Literaturangaben

  1. Graham, G. S.; Denning, S. A.: Protection–Principles and practice Proceedings Spring Joint Comp.Conf. 1972, pp. 419–429

    Google Scholar 

  2. Nilson, S. A.: Konzept und Architektur eines fehlertoleranten Mehrmikrorechner-Systems, Dissertation, HochschulSammlung, Reihe Informatik, Band 9, Hochschulverlag Freiburg 1981

    Google Scholar 

  3. Marhöfer, M.: Systemtest des modularen Mehrmikrorechners M3R, Diplomarbeit, Institut für Informatik IV, Universität Karlsruhe 1981

    Google Scholar 

  4. Schmidt, H.: Hardware-Schutzmechanismen bei Mikro-prozessoren, Diplomarbeit, Institut für Informatik IV, Universität Karlsruhe 1981

    Google Scholar 

  5. Härtig, H.; Krause, Th.: Mikrorechner und Architektur, Interner Bericht 6/81, Institut für Informatik IV, Universität Karlsruhe 1981

    Google Scholar 

  6. Childs, R.; Klebanoff, J.: iAPX 286 microprocessor architecture overview, Intel-Publikation, 14. 10. 1980

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik IV, Universität Karlsruhe, Postfach 6380, 7500, Karlsruhe 1, Germany

    Michael Marhöfer

Authors
  1. Michael Marhöfer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung mbH, Institut für Rechner- und Programmstrukturen, St. Augustin 1, Postfach 1240, 5205, Schloß Birlinghoven, Germany

    E. Nett

  2. Siemens AG Zentralbereich Technik, Zentrale Aufgaben Informationstechnik, Otto-Hahn-Ring 6, 8000, München 83, Germany

    H. Schwärtzel

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Marhöfer, M. (1982). Testbarkeit von Schutzsystemen. 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_17

Download citation

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

  • 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

Search

Navigation