Как выглядит язык программирования АТОЛЛ?

Во время программы «Аполлон» контрольные испытания ракет-носителей и систем космического корабля постепенно автоматизировались, переходя от ручных процессов в первые годы космической программы к (почти) полностью автоматизированным испытаниям ко времени «Аполлона-11».

Одна интересная проблема, с которой столкнулось НАСА, заключалась в том, как убедиться, что программисты (которые писали компьютерные программы для контрольных испытаний) и инженеры-испытатели и инженеры-конструкторы (которые определяли процедуры контрольных испытаний) понимали друг друга:

В эволюции автоматического кассового оборудования одна из самых интересных проблем заключалась в создании нового языка. Языковые ленты, включенные в компьютерные программы, должны были быть функциональными как для конструктора транспортного средства, так и для инженера-испытателя. Сведения о неисправностях должны были быть понятны людям, занимающимся переделкой неисправного или неработающего оборудования. [...]

Инженеры-испытатели предъявляли к компьютерам новые требования, и эти новые требования, а также стиль языка должны были быть доведены до программиста. Чтобы прийти к подходящему языку, либо инженер-испытатель должен был больше узнать о программировании, либо программист должен был больше узнать о разработке тестов. Решением этой дилеммы стал ATOLL, аббревиатура от Acceptance Test или Launch Language, предназначенный для преодоления многих пробелов между инженером-испытателем, дизайнером сцены и программистом. Созданная в конце 1963 года, ATOLL упростила путаницу и помогла нормализовать многие функции автоматического тестирования и проверки, возникающие на заводе-изготовителе, во время статических стрельб и во время операций на стартовой площадке.

(источник: Этапы до Сатурна, глава 8 )

Учитывая важную роль, которую АТОЛЛ сыграл в успехе «Сатурнов», мне любопытно узнать, как он выглядел и насколько «высоким уровнем» он был на самом деле. Однако я не могу найти никакой информации о нем. Это статья в Википедии об АТОЛЛЕ полностью:

Язык принятия, тестирования или запуска (ATOLL) был языком программирования, используемым для автоматизации проверки и запуска ракет Saturn.

С одной ссылкой:

  1. «Руководство пользователя SLCC ATOLL», IBM 70-F11-0001 , Хантсвилл, Алабама, декабрь 1970 г.

Этот отчет недоступен на NTRS , и размещение этой ссылки, например, в Google просто дает бесконечный список зеркал Википедии (?).

Я нашел одну ссылку на ATOLL в Приложении 3 к ЦЕЛИ «Компьютеры в космическом полете: опыт НАСА» :

GOAL — это язык высокого уровня, использующий терминологию инженеров-испытателей для написания тестов и процедур, подтверждающих готовность корабля «Шаттл» к запуску. Когда в середине 1960-х годов были написаны первые автоматизированные программы предполетной проверки, Центр космических полетов им. Маршалла разработал ATOLL, специальный язык высокого уровня для использования при подготовке процедур испытаний. GOAL заменил этот язык в начале 1970-х годов.

В этом приложении есть фрагмент кода GOAL, и я предполагаю, что GOAL похож на ATOLL, но это не более чем догадка.

Вопрос: как выглядит код АТОЛЛ? Есть ли списки или справочное руководство?

Я не смог понять, что является аббревиатурой GOAL. Совершенно недоступно для Google.
Некоторое обсуждение АТОЛЛА в книге «Мунпорт: история стартовых комплексов и операций Аполлона» Чарльза Д. Бенсона, Уильяма Барнаби Фахерти (в Google Книгах), но код там не указан. Также короткая заметка в Энциклопедии компьютерных наук и технологий: Том 18 - Приложение 3 ... под редакцией Аллена Кента, Джеймса Дж. Уильямса, также Google Книги, без кода.
GOAL выглядит как «Аэрокосмический язык наземных операций» — см. dl.acm.org/doi/pdf/10.5555/800124.804003 — в этом документе есть некоторые утверждения ATOLL для сравнения с эквивалентом GOAL.
В расширении Chrome NASA Acronyms говорит, что GOAL - это « Аэрокосмический язык наземных операций » или « Наземные операции и запуск » .
Документация GOAL, такая как ntrs.nasa.gov/api/citations/19740007776/downloads/… кажется более доступной
@JonCuster Можете ли вы привести некоторые соответствующие разделы из этой статьи? Он находится за платным доступом и недоступен для меня.
@JonCuster Сейчас я читаю Moonport, и это вызвало вопрос. Но я подумал, что цитата из «Этапов до Сатурна» более актуальна.
Есть хороший пример использования GOAL в Томе 1 Технической конференции по космическим шаттлам - "Автоматическое программное обеспечение для управления криогенными системами". ntrs.nasa.gov/api/citations/19850008580/downloads/… Я думаю, что к концу программы он был перенесен на ПК и назывался PC-GOAL, но это было делом KSC, и я никогда не имел с ним дела.
На Retrocomputing могут быть люди, которые помнят ATOLL — в чате мало посетителей, так что я не совсем уверен, как навести там постоянных клиентов.

Ответы (1)

Документация по аэрокосмическому языку наземных операций гораздо более доступна — выполните поиск по адресу ntrs.nasa.gov, и вы получите множество отчетов.

Публикация ACM (которая, по-видимому, не является журнальной статьей, поскольку Web Of Science не находит ее - возможно, не проиндексированные материалы конференции - действительно, из DAC '73: Proceedings of the 10th Design Automation Workshop, июнь 1973 г., стр. 87–96) Терри Р. Митчелл из отдела автоматизации и программирования проверки ракет-носителей в KSC, называется

Стандартный тестовый язык — ЦЕЛЬ

Наземные операции Аэрокосмический язык

В основном обсуждается ЦЕЛЬ, но затрагивается АТОЛЛ. Это включает в себя несколько цифр со сравнением между GOAL и ATOLL, чтобы сделать то же самое. Это сделано на рисунке 3, показанном здесь:

введите описание изображения здесь

Дальнейший поиск нашел статью в выпуске Datamation за апрель 1965 года (страницы 33-35), в которой, по-видимому, полностью изложены коды операций языка, разделенные на команды Stimulation, Response, Control и Utility. Например, таблица 1 (операторы моделирования) выглядит так:

введите описание изображения здесь

Кстати, в выпуске за июнь 1965 года (196506.pdf из архива битсейверов) есть письмо от Б.Л. Райла, в котором он выражает признательность различным людям за разработку ATOLL.

Вау, на этот Datamation приятно смотреть. Спасибо за публикацию ссылки. Исходная статья — отличная находка, но реклама и тому подобное просто невероятны.
Эта проблема Datamation удивительна. Как/где вы его нашли?
@Ludo - поскольку Web of Science не проиндексировала статью Митчелла, я зашел на ACM.org и выполнил поиск по запросу «ATOLL». Этот поиск привел к статье о другом языке приемочного тестирования, в которой упоминалась статья Datamation, к счастью, включая название в ссылку для их поисковой системы. Поиск архива Datamation привел к сайту битсейверов и, в конечном итоге, к проблеме — я нашел ссылку на июньский выпуск, и, к счастью, битсейверы имеют простой формат URL-адреса, поэтому, когда я изменил 196506 в исходной ссылке на 196504, выскочил апрель.. .
@OrganicMarble - действительно, меня легко может засосать в черную дыру, когда я разбираюсь со старыми проблемами. Я отмечу, что автор статьи Datamation из Mesa Scientific, у которой есть реклама на несколько страниц выше в pdf (но на самом деле на странице 91), в которой говорится о тестировании для Saturn и Mariner.
Я также видел объявление (обрезанное) о найме подрядчика в Космическом центре Джонсона.
@OrganicMarble «Скорость до 333 символов в секунду» (объявление на странице 18). Ух ты! Пылающий! Компьютерный мир, безусловно, прошел долгий путь с 1965 года.
@DavidHammen - хотя аппаратное обеспечение изменилось, большинство обсуждаемых основных проблем все еще существуют ...
А как насчет того рекламного объявления на всю страницу о финикийском программисте: «К сожалению, она была так тщеславна, что все время, пока ей полагалось заниматься бизнесом, она дурачилась, любуясь собой, мечтая о карьере в кино и все такое». Это... плохо старело.
@OrganicMarble - о, это точно воспоминание о Безумцах. Ужасно во многих смыслах.
Как выглядит язык программирования АТОЛЛ?
СпросиСетьПолитика конфиденциальности1y, 0v