سند علمی

Hierarchical Approach to Computer System Integrity

چکیده

and possibly error-prone or malicious users are to coexist on the same computer system. In this paper, we show that a hierarchically structured operating system, such as produced by a virtual machine system, that combines a virtual machine monitor with several independent operating systems (V M M ~ O S) , provides substantially better software security than a conventional two-level multiprogramming operating system approach. This added protection is derived from redundant security using independent mechanisms that are inherent in the design of most V M M I O S systems. Such a system can be obtained by exploiting existing software resources. Computer systems have taken on essential roles in many organizations. As such, concern for system integrity has become increasingly important. At the same time, economies of scale and centralization of operation often make it desirable to merge many separate applications onto a single computer system. In this paper, we explore operating system software approaches to improving system integrity in a shared facility. Operating system integrity may be said to exist when an operating system functions correctly under all circumstances. It is helpful to further divide the concept of integrity into two related concepts: security and reliability. By security, we mean the ability of the operating system to maintain control over the system resources and thereby prevent users from accidentally or maliciously modifying or accessing unauthorized information. By reliability we mean the ability of the operating system to continue to supply useful service in spite of all abnormal software (and most abnormal hardware) conditions-whether accidental or malicious. That is, we expect the operating system to be able to prevent " crashes. " Unlike hardware, which can have manufacturing defects, physically age, wear out, and change properties over time, software is

اسناد مشابه

  • Mapping Parallel Programs into Hierarchical Distributed Computer Systems

    سند علمی۲۰۰۹ICSOFTVictor G. Khoroshevsky, Mikhail G. Kurnosov

    In most cases modern distributed computer systems (computer clusters and MPP systems) have hierarchical organization and non-uniform communication channels between elementary machines (computer nodes, processors or processor cores). Execution time of parallel programs significant

  • A Formal Approach to System Integration Testing

    سند علمی۲۰۱۴CoRRSusanne Kandl, Martin Elshuber

    System integration testing is the process of testing a system by the stepwise integration of sub-components. Usually these sub-components are already verified to guarantee their correct functional behavior. By integration of these verified subcomponents into the overall system, e

  • The AMIS Approach to Systems Integration: An Overview

    سند علمی۲۰۰۴Don Libes, Edward J. Barkmeyer, Peter Denno, David Flater

    This paper is an overview of the AMIS (Automated Methods for Integrating Systems) project approach to systems integration. The objective of the AMIS project is to reduce the cost and time for software integration by devising methods, algorithms, and tools by which activities of a

  • Emergency Steer & Brake Assist – a Systematic Approach for System Integration of Two Complementary Driver Assistance Systems

    سند علمی۲۰۱۱Alfred Eckert, Bernd Hartmann, Martin Sevenich, Peter E. Rieth

    Advanced Driver Assistance Systems (ADAS) assist the driver during the driving task to improve the driving comfort and therefore indirectly traffic safety, ACC (Adaptive Cruise Control) is a typical example for a “Comfort ADAS” system. “Safety ADAS” directly target the improvemen

  • A framework for end-to-end approach to Systems Integration

    سند علمی۲۰۰۹Rashmi Jain, Anithashree Chandrasekaran, Ozgur Erol

    Systems Integration (SI) is an important element of systems engineering which involves the integration of hardware, software, products, services, business processes, and human. The existing standards, models, and guidelines of Systems Engineering and Software Engineering address

  • An Architecture-oriented Approach to System Integration in Collaborative Robotics Research Projects — An Experience Report

    سند علمی۲۰۱۶David VERNON, Erik BILLING, Paul HEMEREN, Serge THILL

    Effective system integration requires strict adherence to strong software engineering standards, a practice not much favoured in many collaborative research projects. We argue that component-based software engineering (CBSE) provides a way to overcome this problem because it prov