Вычислительная система космического корабля «Шаттл», страница 4

Список отказоустойчивых вычислительных систем может быть продолжен. Перечислим некоторые ранние системы такого рода:

центральная система обработки данных для системы резервирова­ния билетов «Сирена» [501, дуплексная вычислительная система для системы резервирования билетов SABRE (литература указана в 1.3), дуплексная вычислительная .система'для упомянутой выше системы BMEWS [667, 980], вычислительная система для упомя­нутой выше системы SAGE (литература указана в п. 1.3), само­летные, космические и другие высоконадежные системы [638, 666, 754, 836, 841, 932, 1141, 1152]. Известны также процессор обра­ботки данных и система хранения данных для орбитальной астрономической обсерватории ОАО (Orbiting Astronomical Observatory) (см., например, [932]), созданные в период 1961—1965 гг., ЭВМ наведения для ракет-носителей Saturn IB и Saturn V в соответ-• ствии с программами полетов Apollo и Skylab [3] и другие.

Перечислим теперь некоторые отказоустойчивые системы 1970-х годов. Отказоустойчивый цифровой управляющий комплекс со 100 %-м дублированием каждого функционального модуля опи­сан в [234]. Он предназначен для использования в автоматических телефонных станциях, центрах коммутации и в других системах реальногр времени. Особенности структуры управляющего комп­лекса для системы коммутации рассмотрены в предшествующей работе [232]. Организация дуплексной системы для автоматиче­ской телефонной станции рассмотрена в [2]. Операционная систе­ма для управления дуплексной вычислительной системой в реаль­ном масштабе времени описана в [55]. Мажоритарное резервиро­вание рассмотрено в [13].

Двухмашинная отказоустойчивая система GCSC представлена в [713]. С такой системой на борту два космических аппарата со­вершили мягкую посадку на Марсе. Разработка системы AADC (Advanced Avionic Computer System) описана в [529, 530, 532, 697—699, 870, 1179], а системы DAIS (Distributed Avionics Info­rmation System)—в [536, 942]. Система FTSC (Fault Tolerant Spaceborn Computer) представлена в [561].

Модульная система PRIME с перекрестной коммутацией для внешнего доступа, предназначенная для работы с множеством тер­миналов и разрабатывавшаяся как отказоустойчивая, описана в [510, 549—551, 880, 1106]. Система С. ai для исследования проб­лем искусственного интеллекта представлена в [524, 880]. Струк­тура отказоустойчивой системы SYSTEM 250 для длительной ра­боты в реальном масштабе времени изложена в [621, 690, 691, 828 1259]. Укажем также следующие отказоустойчивые системы:

SERF [275, 1191], MECRA [9591, COPRA [978, 979], система из .двух ЭВМ для управления ракетной установкой на подводной лод­ке [1072], дуплексная система для работы в реальном времени [1215] и другие системы [484, 641, 657, 1244]. Система с голосо­ванием при тройном модульном резервировании на базе микро­процессора Intel 8080 описана в [404].

Общие характеристики надежности вычислительных систем во многом зависят от надежности программного обеспечения, т. е. от уровня правильности и отказоустойчивости программ. Пробле­ма надежности программного обеспечения рассмотрена в моногра­фиях [70, 128, 134, 186, 10171, в обзорах [107. 608, 609, 996] и в сборнике [859]. Она обсуждалась на нескольких посвященных ей -конференциях и симпозиумах, труды которых опубликованы в сборниках и журналах [602, 853, 1099—1101, 1104]. Классифика­ция методов обеспечения надежности программ представлена в 1Ю8]. Библиография работ по проблеме надежности программно­го обеспечения содержится в [37, 467].