MIL-STD-1750 Certification Study.
Final rept. 13 Sep 79-29 Feb 80,
IBM FEDERAL SYSTEMS DIV OWEGO N Y
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Hardware