MIL-STD-1750 Certification Study.

Abstract

This work presents an investigation of methods of verifying computers to an Instruction Set Architecture and recommends a method suitable for Air Force use to verify vendor produced implementations of MIL-STD-1750. This study's purposes and goals follow: Investigate methods of verifying computers to an Instruction Set Architecture and recommend a method suitable to SEAFAC for certifying vendor produced implementations of MIL-STD-1750; Make cost-effective use of existing SEAFAC resources; Strive for vendor/implementation independence; Recommend a verification approach based on a cost trade-off analysis; and Provide sufficient descriptive information about the recommended approach so that the Air Force can: Plan future funding and personnel requirements; Write specifications for hardware and software necessary to support approach; and Contract for (or develop internally) the necessary facilities.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 29, 1980
Accession Number
ADA099260

Entities

People

  • D. C. Reisiger
  • L. A. White
  • M. L. Kushner
  • W. J. Tracz

Organizations

  • International Business Machines Corporation (Armonk, NY)

Tags

Communities of Interest

  • Energy and Power Technologies
  • Ground and Sea Platforms
  • Human Systems
  • Materials and Manufacturing Processes
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Acceptance Tests
  • Computer Architecture
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Engineers
  • Instruction Set Architecture
  • Operating Systems
  • Performance Tests
  • Regression Analysis
  • Reliability
  • Software Development
  • Systems Engineering
  • Test And Evaluation
  • Test Equipment
  • Test Methods

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aerospace Test and Evaluation
  • Database Systems and Applications
  • Systems Analysis and Design