Tactical Executive (TACEXEC): A Real-Time Secure Operating System for Tactical Applications.

Abstract

This report describes the design of a computer operating system (TACEXEC) that supports applications in a tactical military environment. The outstanding features of the system are that it is secure in the military multilevel sense and that it assures real time response to external events. TACEXEC is described both informally and in a formal mathematical notation. Formal and informal definitions of security and real time performance are given and techniques for proving that TACEXEC meets these requirements are described. Several issues with regard to the implementation of TACEXEC are also discussed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1979
Accession Number
ADA122706

Entities

People

  • Karl N. Levitt
  • P. M. Melliar-smith
  • Richard J. Feiertag

Organizations

  • SRI International

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Application Software
  • Communication Channels
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • High Level Languages
  • Language
  • Message Processing
  • Message Systems
  • Operating Systems
  • Programming Languages
  • Software Development
  • Standards
  • System Software

Fields of Study

  • Computer science

Readers

  • Aquatic Ecology
  • Software Engineering.
  • Tactical Satellite Communications Systems Engineering.