1. MIL-STD-1750 Certification Study.
- Author
-
IBM FEDERAL SYSTEMS DIV OWEGO N Y, Kushner,M L, Reisiger,D C, Tracz,W J, White,L A, IBM FEDERAL SYSTEMS DIV OWEGO N Y, Kushner,M L, Reisiger,D C, Tracz,W J, and White,L A
- 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.
- Published
- 1980