Automatic Checkout Systems for Titan III and Apollo Guidance Computer Programs

The Automatic Checkout Systems (ACS) were designed and used for the Titan III and Apollo Projects. This article describes the logical design of new approaches to program checkout and the results achieved. These checkout systems are a series of programs written for a large scale commercial computer....

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on electronic computers Vol. EC-16; no. 5; pp. 580 - 590
Main Authors: Peeler, Donald L., Meredith, Paul H., Richards, Louis M., Clark, Christian O.
Format: Journal Article
Language:English
Published: IEEE 01.10.1967
Subjects:
Analytical models
Automata
Automatic checkout system
Circuit faults
Circuit testing
Computational modeling
Computer errors
Computer simulation
digital computers
guidance computer programs
interface program
Logic testing
logical design
Performance analysis
pre-checkout programs
program analysis
program errors
Simulator/Pather program
Switching circuits
symbolic simulator
ISSN:0367-7508
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The Automatic Checkout Systems (ACS) were designed and used for the Titan III and Apollo Projects. This article describes the logical design of new approaches to program checkout and the results achieved. These checkout systems are a series of programs written for a large scale commercial computer. When a program for the airborne computer of the inertial guidance system is operated on by the ACS, it performs a symbolic simulation and generates the symbolic equations (A=B+C×D) that are performed by the airborne computer program. The ACS performs many checks for program errors in this process, indicates all areas where program analysis is required, and furnishes the program information required for analysis in optimum form. The equations generated by the ACS are manually checked against the input specification. This check is absolute in nature compared to the conventional method of analyzing the results of numerical simulations. Time consumed on the large scale commercial computer is much less than for numerical simulation.
ISSN:0367-7508
DOI:10.1109/PGEC.1967.264744