Zusammenfassung
Die Komplexität und der unzureichende strukturelle Aufbau der meisten existierenden Betriebssysteme machen es außerordentlich schwierig, eine hinreichende Sicherheit beim Ablauf der von diesen Betriebssystemen unterstützten Programme zu erreichen. Um Sicherheit zu garantieren — und dies insbesondere während der ganz unterschiedlichen Anforderungen eines Betriebssystems in völlig disjunkten Anwenderumgebungen zu erreichen —, ist es notwendig, daß die Betriebssysteme in ihren Interaktionen zwischen den verschiedenen System-Komponenten klar definiert und sorgfältig kontrolliert sind. Die gleiche Kontrolle ist erforderlich, um eine hinreichende Zuverlässigkeit des benutzten Betriebssystems sicherzustellen. Hinzu kommt, daß ein gut strukturiertes und systematisch entworfenes Betriebssystem auch leichter zu warten und zu modifizieren ist, und daß die Leistungsfähigkeit eines solchen Systems in aller Regel besser ist als bei einem unstrukturierten Betriebssystem.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
Cohen, E. and Jefferson, D.: Protection in the HYDRA Operating System, Proc. of the ACM Fifth Symposium on Operating Systems Principles (1975), P. 141–160
Dennis, J.B. and Van Horn, E.C.: Programming Semantics for Multiprogrammed Computations, Communications of the ACM, vol. 9, no. 3 (1966), P. 143–155
Dijkstra, E. W.: The Structure of the T.H.E. Multiprogramming System, Communications of the ACM, vol. 11 (1968), P. 341–346
England, D.M.: Capability Concept Mechanism and Structure in System 250, Proc. IRIA International Workshop on Protection in Operating Systems, Rocquencourt IRIA Laboria, France (1974), P. 63–82
Graham, G.S. and Denning, P.J.: Protection: Principles and Practice, Techn. Rep. No. 101, Dept. of Electr. Eng., Princeton University, Princeton, New Jersey (1971)
Gray, J., Lampson, B. W., Lindsay, B., and Sturgis, H.: The Control Structure of an Operating System, Research Report, IBM Watson Research Center, Yorktown Heights, N.J. (1972)
Lampson, B. W.: Dynamic Protection Structures, Proc. AFIPS Fall Joint Computer Conference, vol. 35 (1969), P. 27–38
Lampson, B. W.: Protection, Proc. Fifth Annual Princeton Conference on Information Sciences and Systems (1971), P. 437–443
Lampson, B. W. and Sturgis, H.E.: Reflections on an Operating Systems Design, Communications of the ACM, vol. 19, no. 5 (1976), P. 251–266
Needham, R.M. and Walker, R.D.H.: The Cambridge CAP Computer and its Protection System, Proc. of the ACM Sixth Symposium on Operating Systems Principles (1977), P. 1–10
Organick, E.I.: The MULTICS System: An Examination of its Structure, MIT Press, Cambridge, Mass. (1972)
Sevick, K. C.: Project SUE as a Learning Experience, Proc. AFIPS Fall Joint Computer Conference, vol. 40 (1972), P. 571–578
Zurcher, F. W. and Randell, B.: Iterative Multi-Level Modelling — A Methodology for Computer System Design, Proc. IFIP Congress (1968), P. 867–871
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 B. G. Teubner, Stuttgart
About this chapter
Cite this chapter
Richter, L. (1985). Sicherungsstrukturen und Entwurfsmethodik. In: Betriebssysteme. Leitfäden und Monographien der Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94705-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-322-94705-5_6
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02253-4
Online ISBN: 978-3-322-94705-5
eBook Packages: Springer Book Archive