Accession Number:

ADA099260

Title:

MIL-STD-1750 Certification Study.

Descriptive Note:

Final rept. 13 Sep 79-29 Feb 80,

Corporate Author:

IBM FEDERAL SYSTEMS DIV OWEGO N Y

Report Date:

1980-02-29

Pagination or Media Count:

252.0

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 studys 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 vendorimplementation 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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE