KSOS Secure Unix Implementation Plan (Kernelized Secure Operating System).

Abstract

This report presents a discussion of the implementation plan for the KSOS project. Programming techniques, implementation tools, implementation activity integrity, impact of techniques on verification and performance, testing, and external configuration management are discussed. The implementation plan developed in the sections that follow is intended to provide the reader with an understanding of the implementation methodology that Ford Aerospace and Communications Corporation (FACC) will use during the detailed design and coding of KSOS. This report is divided into major sections that discuss programming techniques, FACC programming support tools, verification and performance implications of FACC implementation methodology, implementation security, testing plans, and configuration management.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1980
Accession Number
ADA111567

Tags

Communities of Interest

  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Debugging
  • Engineers
  • Language
  • Maintenance
  • Materials
  • Operating Systems
  • Programming Languages
  • Reliability
  • Software Development
  • Software Testing
  • Systems Engineering
  • Test And Evaluation
  • Test Methods

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Database Systems and Applications
  • Mycotoxin ecology in Amazonian ecosystems.

Technology Areas

  • Space