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....
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on electronic computers Jg. EC-16; H. 5; S. 580 - 590 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.10.1967
|
| Schlagworte: | |
| ISSN: | 0367-7508 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Clark, Christian O. Meredith, Paul H. Richards, Louis M. Peeler, Donald L. |
| Author_xml | – sequence: 1 givenname: Donald L. surname: Peeler fullname: Peeler, Donald L. organization: AC Electronics Division, General Motors Corp., Milwaukee, Wis – sequence: 2 givenname: Paul H. surname: Meredith fullname: Meredith, Paul H. organization: AC Electronics Division, General Motors Corp., Milwaukee, Wis – sequence: 3 givenname: Louis M. surname: Richards fullname: Richards, Louis M. organization: AC Electronics Division, General Motors Corp., Milwaukee, Wis – sequence: 4 givenname: Christian O. surname: Clark fullname: Clark, Christian O. organization: AC Electronics Division, General Motors Corp., Milwaukee, Wis |
| BookMark | eNo90L1OwzAUBWAPRaIt7EgsfoGUe23XP2MVlRIJQSXKHLmJDYEmrmxn6NtDVcR0lnPO8M3IZAiDI-QOYYEI5mG7WZcLNFItmBRKiAmZApeqUEvQ12SW0hcABwlsSl5WYw69zV1Dy0_XfIcx07dTyq5P1IdId122A62qitqhpatjOBwC3Yxda4fG0TL0xzG7SLcxfETbpxty5e0hudu_nJP3x_WufCqeXzdVuXouGuSYC20cl7zl4IDtFUOPUshWGY4NOm1BaMMUWxq5ZMJYtFLtrRa-1V57I8DyOYHLbxNDStH5-hi73sZTjVCfDeqzQX02qC8Gv5P7y6Rzzv3XBXCDQvEfXblaww |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1109/PGEC.1967.264744 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EndPage | 590 |
| ExternalDocumentID | 10_1109_PGEC_1967_264744 4039147 |
| Genre | orig-research |
| GroupedDBID | 0R~ 29I 5GY 6IK 9M8 AAJGR AAWTH ABAZT ABQJQ ABVLG ACGFS AETEA AGQYO AHBIQ AI. ALLEH ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 HZ~ H~9 IAAWW IDIHD IFIPE IPLJI JAVBF LAI O9- OCL RIE RNS VH1 AAYXX CITATION |
| ID | FETCH-LOGICAL-c131t-89e363d30e02b721f1646d7931c1e8a04892725965249a1a67ba84fd8f8f940a3 |
| IEDL.DBID | RIE |
| ISSN | 0367-7508 |
| IngestDate | Sat Nov 29 04:17:53 EST 2025 Tue Aug 26 16:38:37 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Issue | 5 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c131t-89e363d30e02b721f1646d7931c1e8a04892725965249a1a67ba84fd8f8f940a3 |
| PageCount | 11 |
| ParticipantIDs | crossref_primary_10_1109_PGEC_1967_264744 ieee_primary_4039147 |
| PublicationCentury | 1900 |
| PublicationDate | 1967-Oct. |
| PublicationDateYYYYMMDD | 1967-10-01 |
| PublicationDate_xml | – month: 10 year: 1967 text: 1967-Oct. |
| PublicationDecade | 1960 |
| PublicationTitle | IEEE transactions on electronic computers |
| PublicationTitleAbbrev | T-EC |
| PublicationYear | 1967 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0030602 |
| Score | 1.1599718 |
| Snippet | 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... |
| SourceID | crossref ieee |
| SourceType | Index Database Publisher |
| StartPage | 580 |
| SubjectTerms | 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 |
| Title | Automatic Checkout Systems for Titan III and Apollo Guidance Computer Programs |
| URI | https://ieeexplore.ieee.org/document/4039147 |
| Volume | EC-16 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) issn: 0367-7508 databaseCode: RIE dateStart: 19630101 customDbUrl: isFulltext: true dateEnd: 19671231 titleUrlDefault: https://ieeexplore.ieee.org/ omitProxy: false ssIdentifier: ssj0030602 providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1La8JAEF6s9NAe-rKl9sUeeik0uklWN3sUUSsU8WDBW9jHhErBiCb9_Z3NQyz00lsIWQjf7GS-ycx-Q8gzkgI_sJB42gLzuDXGkwDSswKThV6AMTEpdGbfxWwWLZdy3iCv-7MwAFA0n0HHXRa1fJua3P0q63InZ87FETkSol-e1aq_ush8WVkxQMfHKBjVJUkmu_PJaNjBnSY6GP0F579C0MFMlSKkjM__9zIX5KyijnRQ2vqSNGB9RU4PBAVbZDbIs7QQYaXDTzBfaZ7RSpOcIjulixVyQTqdTqlaWzrY4CZI6SRfWWd7Wk94oPOyaWt3TT7Go8XwzasmJnjGD_3MiySE_dCGDFigMbdLnHqYRRf0jQ-RQm-VgcCEB63ApfJVX2gV8cRGSZRIzlR4Q5rrdA23hDJruLYa-YIC7ksd9ZSwoUa2hOt0CG3yUoMYb0phjLhIKJiMHeCxAzwuAW-TlsNv_1wF3d3ft-_JiVtbdsw9kGa2zeGRHJvvbLXbPhVW_wHIbKoW |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1La4NAEB7StND20Hdp-txDL4WarLqJ7jGEvGgackghN1F3pKGgIdH-_s76CCn00puIinwz43zjzn4D8EykwLQURkagkBtChaEhEaWhHCoW2hblxCjXmZ0406m7WMhZDV63e2EQMW8-w6Y-zNfyVRJm-ldZS2g5c-HswX5bCIsXu7Wq7y5xX16sGVDoUx50q0VJLluzYb_XJF9zmpT_HSF-JaGdqSp5Uhmc_u91zuCkJI-sW1j7HGoYX8DxjqTgJUy7WZrkMqys94nhV5KlrFQlZ8RP2XxJbJCNx2Pmx4p1V-QGCRtmS6Wtz6oZD2xWtG1truBj0J_3RkY5M8EITdtMDVei3bGVzZFbAVV3kdYPUxSEZmii61O8SsuhkofsIKRv-h0n8F0RKTdyIym4b19DPU5ivAHGVSgCFRBj8FGYMnDbvqPsgPgS3RfY2ICXCkRvVUhjeHlJwaWnAfc04F4BeAMuNX7b60robv8-_QSHo_n7xJuMp293cKSfU_TP3UM9XWf4AAfhd7rcrB9zD_gB0oWtXQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Automatic+Checkout+Systems+for+Titan+III+and+Apollo+Guidance+Computer+Programs&rft.jtitle=IEEE+transactions+on+electronic+computers&rft.au=Peeler%2C+Donald+L.&rft.au=Meredith%2C+Paul+H.&rft.au=Richards%2C+Louis+M.&rft.au=Clark%2C+Christian+O.&rft.date=1967-10-01&rft.issn=0367-7508&rft.volume=EC-16&rft.issue=5&rft.spage=580&rft.epage=590&rft_id=info:doi/10.1109%2FPGEC.1967.264744&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_PGEC_1967_264744 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0367-7508&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0367-7508&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0367-7508&client=summon |