Разработка методов контроля и диагностики синтаксически защищенных информационных и управляющих структур в системах управления тема диссертации и автореферата по ВАК РФ 00.00.00, кандидат технических наук Хорев, Павел Борисович

• Хорев, Павел Борисович
• кандидат технических наук
• 1984

Оглавление диссертации кандидат технических наук Хорев, Павел Борисович

Введение

1. Формальные языки и их надежностные модели -/

1.1. Структура формальных языков. Управляющие и информационные структуры

1.2. Модели ошибок в текстах на формальных языках

1.3. Обобщенная метрика ошибок в текстах на формальных языках

1.4. Принципы количественной оценки помехозащищенности формальных языков 45 Выводы по первой главе

2. Методы синтаксической защиты информационных структур

2.1. Самоконтролирущиеся шифры в структурах ввода исходных данных-

§

2.2. Контекстно-зависимые методы исправления ошибок в самоконтролирущихся шифрах

2.3. Синтаксическая защита идентификаторов в структурах данных языков программирования

2.4. Использование помехоустойчивого кодирования для контроля и коррекции ошибок в структурах хранения данных Выводы по второй главе

3. Синтаксическая защита и анализ помехозащищенности управляющих структур императивных языков 9Ь

- з

3.1. Синтаксическая защита ключевых слов императивных языков ЭЬ

3.2. Исправление синтаксических ошибок в текстах на языках управления

3.3. Синтаксическая защита управляющих структур языков црограммирования

3.4. Методика анализа помехозащищенности управляющих структур языка на основе обобщенной метрики ошибок

Выводы по третьей главе

4. Практические приложения методов контроля и диагностики синтаксически защищенных структур в системах управления

4.1. Программные методы контроля ошибок в системе АСФОР-МЭЙ

4.2. Анализ помехозащищенности языков управления заданиями в системах АСФОР-МЗЙ и

ЭКСПРЕСС

4.3. Про1раммная система защиты архивных наборов данных на Щ 1Ь

4.4. Методика помехоустойчивого кодирования информации в высоконадежных системах накопителей на ВД

4.5. Методы контроля управляющих структур алгоритмов в структурном подмножестве ПЛ/1 1Ь2. Выводы по четвертой главе

Введение диссертации (часть автореферата) на тему «Разработка методов контроля и диагностики синтаксически защищенных информационных и управляющих структур в системах управления»

В "Основных направлениях экономического и социального развития СССР на 1981-1985 годы и на период до 1990 года", в решениях Пленумов ЦК КПСС и других партийных и правительственных документах поставлена задача совершенствования вычислительной техники, ее элементной базы и математического обеспечения, средств и систем сбора, передачи и обработки информации £4-6,4-9,4-5 ^ •

Среди проблем, связанных с совершенствованием систем управления, одно из важнейших мест занимает проблема повышения качества этих систем, тесно связанная с проблемой надежностного обеспечения происходящих в них информационных процессов,

В данной работе рассматриваются системы управления, обладающие следующими основными отличительными признаками:

1) дискретностью;

2) использованием при проектировании систем и при доступе к ним формальных языков;

3) использованием баз данных;

4) наличием коллективного доступа к системам, приводящего к необходимости обрабатывать массовые потоки запросов пользователей.

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

Можно выделить такие основные виды информационных процессов в системах управления:

1) сбор и ввод информации;

2) хранение информации;

3) передача и переработка информации;

4-) отображение (вывод) информации.

Сделаем краткий обзор выполненных к настоящему времени научных исследований в области надежностного обеспечения информационных процессов в системах управления. При сборе и вводе информации наиболее "узкими" местами являются этапы подготовки первичных документов, переноса документов на машинные носители (перфокарты, перфоленту, магнитную ленту) и их собственно ввода в вычислительную систему [77]. Наибольшее распространение в настоящее время получили алгоритмические методы обеспечения достоверности вводимой информации, рассматривающие задачи обеспечения достоверности как самостоятельные задачи обработки данных и включающие в себя средства контроля ввода информации, а также коррекции ошибок. Этим вопросам посвящен ряд работ советских и зарубежных ученых В.М.Глушкова, С.И.Самойленко, Ю.Н. Мельникова, В.В.Липаева, В.И.Скурихина, В.А.Литвинова, Г.А.Миронова, Дж. Мартина, К. Рида, Д.Джадда и др.

Основой для разработанных методов обеспечения достоверности вводимой (исходной) информации является использование естественной или искусственной информационной избыточности. Естественная избыточность либо отражает внутренние логические связи меэду элементами информации, либо вводится на языковом уровне при установлении правил представления информации. Искусственная избыточность вносится в информацию специально для придания ей свойств устойчивости к ошибкам (помехоустойчивости). Обычно искусственная избыточность образуется за счет добавления к информации контрольной части. Такую операцию называют помехоустойчивым кодированием информации (или просто кодированием) , а правило получения контрольной части - помехоустойчивым кодом (или просто кодом).

- 76 настоящее время разработано немало методов помехоустойчивого кодирования числовой [86, 20, 75, 56, 29, 64, 35, 94, 101] и символьной [б4, 40, 41, 8о]| информации. Хорошим обзором таких методов является [5]. Большинство из этих методов основано на методе контроля по модулю с весовыми коэффициентами и рассчитано только на обнаружение ошибок. Недостатком методов, позволяющих автоматизировать процесс исправления ошибок, является в первую очередь то, что применение каждого из них дает возможность исправлять лишь один тип ошибок: одиночные ошибки замещения (одиночные транскрипции) [б4, 38, 31, 76, 1б], перестановки (транспозиции) соседних символов [юо], одиночные вставки и выпадения символов [зэ], многократные ошибки замещения [15, 93, 54, 38]. Второй существенный недостаток указанных методов - это то, что они ориентированы на работу только с числовой информацией.

Вопросам надежностного обеспечения процессов хранения информации в системах управления во внешних запоминающих устройствах (37) (магнитных дисках, магнитных лентах и др.) в литературе посвящено не так много работ. Между тем специфика ошибок возникающих в ЗУ на магнитных дисках [48, 74, 70], не позволяет использовать для их коррекции ни один из разработанных к настоящему времени кодов. Характерное для большинства из этих ошибок сочетание пакетного асимметрического искажения информации с искажением типа выпадения - вставки символа превышает корректирующие способности,известных методов кодирования [б4, 17, 47,

10, 38, II, 22, 58, 66, 91, 9з]. Так, в работах [17, 47, 10,

11, 22, 58, 66, 91] предлагаются коды, исправляющие пакеты асимметрических ошибок, в работах [54, 38, 9з] - коды, исправляющие многократные ошибки замещения. В существующих системах управления, как правило, не разрабатывают специальных средств защиты информации при хранении ее во внешних 37, а ограничиваются теми стандартными средствами, которые входят в состав современных вычислительных систем. Эти средства, однако, либо обладают только относительно высокой обнаруживающей способностью и не могут быть применены для исправления ошибок [23, зо], либо способны исправлять только ошибки минимальной кратности - одиночные ошибки замещения [зо].

Вопросы надежностного обеспечения процессов передачи, переработки и вывода информации в системах управления наименее изучены. Оставляя в стороне такие (тоже немаловажные) составляющие этих процессов, как хранение информации в оперативной памяти вычислительной системы (ВС), передачу информации внутри ВС и между различными ВС, вывод информации на внешние носители (бумагу, экран дисплея и др.), обработку информации процессором ВС, выделим этап составления текста, описывающего процесс переработки информации на некотором формальном языке, принятом в системе управления. Этот текст может быть, например, программой на каком-нибудь языке программирования либо заданием на командном языке системы управления. Акцентирование нашего внимания именно на этом этапе объясняется тем, что согласно последним оценкам [2в] стоимость программного обеспечения вычислительных систем значительно превышает стоимость аппаратуры и продолжает расти, в то время как существующие методы оценки правильности (корректности) программ (тестирование, формальное доказательство корректности) все еще неудовлетворительны. В настоящее время около 70$ общих затрат на создание программного обеспечения сложных систем приходится на этап сопровождения, на котором осуществляются корректировка и модификация программ [зб], что свидетельствует о недостаточном уровне надежности разработок.

Примерно полтора десятка лет назад начала развиваться концепция структурного программирования [96, 36, 18, 28, 9, 81, 60], ставшая в настоящее время одной из ведущих методологий разработки программного обеспечения [бб], позволяющей получать высоконадежные и легкомодифшщруеше программы. Поскольку подавляющее большинство наиболее широко распространенных в настоящее время языков программирования, в частности ЕЛ/1 [85], Фортран [82], разрабатывались без учета концепций структурного программирования, весьма актуальной становится задача создания структурных подмножеств таких языков. Хотя первые опыты такого рода уже появились [эб], работа в этом направлении должна быть продолжена.

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

Среди отечественных и иностранных ученых, занимавшихся проблемами надежностного обеспечения процессов переработки информации в системах управления, необходимо назвать А.П.Ершова, В.В. Липаева, С.С.Лаврова, Э. Дейке тру, Н.Вирта, К.Хоора.

Резюмируя наш краткий обзор работ ш надежностному обеспечению информационных процессов, следует отметить, что большинство из них посвящено разработке и реализации методов, решающих задачи обнаружения ошибок на различных этапах информационных 1 фоцесеов коррешщи ошибок, -зляв^я леурт*т эрсал^ применимость их для исправления лишь определенного класса ошибок. Этот недостаток мешает их широкому практическому использо - СИСТе*ЗйХ управления.

Следует далее отметить, что общим принципом построения методов надежностного обеспечения информационных процессов является использование избыточности, как естественной, так и искусственной. Причем естественная избыточность для целей контроля и коррекции используется существенно реже, хотя максимального эффекта можно добиться лишь применением как одного, так и другого видов избыточности. Для решения же задачи контроля и коррекции текстов на формальных языках естественная избыточность является единственным инструментом.

Наконец, к недостаткам разобранных работ можно отнести и то, что ни в одной из них вопросы надежностного обеспечения на различных этапах информационных процессов в системах управления не решается комплексно, а охватывают лишь некоторые из них. Между тем, все виды информационных процессов в системах управления характеризуются, как правило, одной общей чертой: все задействованные; в этих процессах структуры (потоки исходных данных, наборы данных на внешних носителях, тексты на формальных языках и т.п.) строятся в соответствии с некоторым правилом (кодом) либо формальной грамматикой, позволяющими разделять допустимые и не допустимые для данной системы управления структуры. Назовем это свойство синтаксической защищенностью. Будем далее называть информационными виды структур, являющиеся объектами процессов ввода, хранения, описания, передачи и вывода данных в системах управления (например, структуры ввода и хранения данных, структуры описания данных в языках программирования и т.п.). Назовем, соответственно, управляющими такие виды структур, которые задают описание процессов переработки информации в системах управления (например , программы, составленные на языках программирования, совокупности предложений командных языков и т.п.).

Целью данной работы является исследование и разработка методов контроля и диагностики информационных и управляющих структур в использованием избыточности на уровне формального языка, описывающего эти структуры. Для достижения указанной цели решаются следующие основные задачи: .

1. Разработка и исследование моделей и методов анализа формальных языков с учетом их синтаксической защищенности; алгоритма зация процедур анализа.

2. Разработка эффективных синтаксически защищенных информационных и управлявших структур, используемых в системах управления, и принципов алгоритмизации процедур контроля и коррекции ошибок в таких структурах.

-123. Реализация результатов исследований в рамках автоматизированной системы обработки массовых потоков студенческих заданий на ЕС ЭВМ, программной системы защиты архивной информации при хранении ее в накопителях на магнитных дисках и инструментального комплекса поддержки структурного программирования на языке ПЛ/1.

Поставленная задача решается на базе системного подхода к разработке методов контроля и диагностики информационных и управляющих структур, основанного на:

1) обобщенной формальной модели ошибок в информационных и управляющих структурах;

2) обобщенной метрике ошибок;

3) использовании при практической реализации концепций структурного программирования и проектирования "сверху - вниз"

ИВ отличие от известных подходов к проблеме автоматизации контроля и диагностики информационных и управляющих структур данный подход позволил получить следующие основные результаты:

1) проанализировать формализованную модель процесса проектирования сложных систем, рассматривающего его как разработку текста на некотором формальном языке, исследовать понятие синтаксического расстояния и доказать, что оно; может являться основой обобщенной метрики ошибок в текстах на ФЛ;

2) разработать общую методику анализа помехозащищенности ФЯ и алгоритмы ее количественной оценки;

3) предложить общую методику кодирования самоконтролируй-щихся шифров и методы алгоритмизации процедур контроля и исправления ошибок в них с использованием структурной избыточности

-13 шифра и контекстной информации;

4) исследовать информационные модели ошибок в структурах хранения данных на внешних магнитных носителях и предложить принципы аппаратной реализации кодов с исправлением пачек асимметрических ошибок в высоконадежной системе накопителей на Щ;

5) разработать метод программного контроля и коррекции архивных наборов данных в НМЛ, позволяющий исправлять ошибки практически любых типов и основанный на каскадном кодировании информации;

6) рассмотреть методы синтаксической защиты управляющих структур алгоритмов и разработать принципы алгоритмизации контроля структурированности программ.

На основе проведенных исследований разработаны и внедрены в автоматизированных системах обработки массовых потоков студенческих заданий АСФОР-МЭИ и ЭКСПРЕСС программы контроля и коррекции ошибок в шифрах заданий пользователей и в текстах на командных языках систем (общий объем программ составляет 30К байт). Разработаны программа сбора статистики ошибок в НВД (61С байт) и (совместно с С.Д.Захаровым) комплекс автоматизированных средств контроля и коррекции архивных дисковых наборов данных КАСКАД (З6К1 байт). Разработаны программы для компоненты контроля структурированности инструментального комплекса автоматизиро ванной разработки программ ИКАР-С (37К байт, программное обеспечение системы ИКАР-С разрабатывалось автором совместно с Е.Е. Карпович и С.Б.Ивановым).

Система АС4ЮР-МЭИ используется в учебном цроцессе на всех факультетах МЭИ (на кафедрах Прикладной математики и Теоретической механики) с 1979 г., система ЭКСПРЕСС используется в учебном процессе в МЭИ с 1984 г. Системы КАСКАД и ИКАР-С переданы для использования в ПНИНММ (г.Пенза). Принципы аппаратной реализации кодов с исправлением ошибок в сочетании со средствами восстановления синхронизации использованы при создании высоконадежной системы НМД в организации ц/я А-1178.

Работа состоит из введения, четырех глав, заключения, списка литературы, включающего 101 название, и трех приложений. Основная часть содержит страниц машинописного текста, 2 9 рисунков, 10 таблиц. Приложения составляют 38 страниц.

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

Вторая глава посвящена разработке методов контроля и диагностики синтаксически защищенных структур ввода, описания и хранения данных в системах управления. Излагается методика выбора метода кодирования и оценки эффективности самоконтролирующихся шифров при вводе исходных данных. Рассматриваются принципы алгоритмизации кодирования, контроля и коррекции самоконтролирующихся шифров. Описываются методы защиты идентификаторов и имен в структурах данных языков программирования высокого уровня. Предлагается метод контроля и коррекции данных цри хранении их в накопителях на магнитных дисках, основанный на статистической модели ошибок. Излагаются принципы алгоритмизации методов защиты для оперативной и архивной информации.

В третьей главе исследуются вопросы синтаксической защиты и анализа помехозащищенности управляющих структур формальных языков. Предлагается подход к автоматизации процесса исправления ошибок в текстах на языках управления. Рассматриваются методы синтаксической защиты управляющих структур в языках программирования высокого уровня. Описывается общая методика анализа помехозащищенности формальных языков, на основе его многоуровневого иерархического представления и обобщенной метрики ошибок.

Четвертая глава посвящена изложению результатов практического приложения методов контроля и диагностики синтаксически защищенных информационных и управляющих структур. Рассматриваются программные методы контроля и коррекции ошибок в системе АСФОР-МЭИ. Даются оценки помехозащищенности командных языков систем АСФОР-МЗИ и ЭКСПРЕСС. Описывается программная система защиты архивных наборов данных в накопителях на магнитных дисках. Рассматриваются методы контроля управляющих структур алгоритмов в структурном подмножестве языка программирования ПП/1.

В заключении приводятся основные результаты, полученные в ходе выполнения работы.

Приложение I содержит акты о внедрении результатов диссертационной работы.

В приложении 2 помещена инструкция по эксплуатации средств контроля и коррекции архивных дисковых наборов данных.

В приложении 3 изложена методика подготовки к эксплуатации архива автоматизированных систем обработки массовых потоков студенческих заданий АОФОР-МЭИ и ЭКСПРЕСС.

Данная работа выполнена на кафедре Прокладной математики МЭИ. Результаты работы использовались в хоздоговорных НИР: £ 159/76 с предприятием ц/я А-1178 и № 42/77 с Всесоюзным НИИ проблем организации и управления, в госбюджетных НИР по теме П.6.3.3.4 координационного плана НИР Минвуза СССР и по теме 1.12.2 координационного плана НИР АН СССР и в работах по договорам о социалистическом содружестве с Пензенским НИИ математических машин.

Основные результаты диссертации докладывались и обсуждались на:

- научных семинарах кафедры Прикладной математики МЭИ в 1976-1984 гг.;

- 1У Всесоюзной школе-семинаре по вычислительным сетям (г.Ташкент, 1979 г.);

- Юбилейной научно-технической конференции МЭИ (г.Москва, 1980 г.);

- УШ Всесоюзной конференции по теории кодирования и передачи информвдии (г.Куйбышев, 1981 г.).

Заключение диссертации по теме «Другие cпециальности», Хорев, Павел Борисович

Выводы по четвертой главе

I. Разработаны и внедрены в автоматизированных системах обработки массовых потоков студенческих заданий АСФОР-МЭУ1 и ЭКСПРЕСС программные методы контроля и коррекции ошибок в заданиях пользователей. Проведен количественный анализ помехозащищенности языков управления для этих систем.

2. Разработаны алгоритмы кодирования и декодирования для метода каскадного кодирования информации, реализованные в программной системе КАСКАД контроля и коррекции архивных наборов данных в НМД. Система КАСКАД передана для использования в ПНИИММ(г. Пенза).

3. Раз работа ШПдоГре а ли за цйи 'в~УУ~ высоко надежной си ст емой~НЩр эффективные алгоритмы кодирования и декодирования весового нелинейного кода, исправляющего пачки асимметрических ошибок. На основе программного моделирования данных алгоритмов получены оценки их сложности. Результаты данной работы использованы в организации п/я А—117.8 • [

4. Разработаны принципы алгоритмизации контроля~ с¥руктуриро-ванности программ в инструментальной системе ИКАР-С и программное обеспечение резидентной части компоненты контроля для этой системы. Общий объем разработанного программного обеспечения (состоящего из 1200 операторов ПЛ/1 и 2200 предложений языка Ассемблера)-П0К байт.

ЗАКЛЮЧЕНИЕ

1. Проанализирована формализованная модель процесса проектирования сложных систем, рассматривающая этот процесс как разработку текста на некотором формальном языке. Исследовано понятие синтаксического расстояния и доказано, что оно может служить основой для описания метрических свойств ошибок в текстах на ФЛ.

2. Сформулированы и доказаны утверждения, устанавливающие необходимые и достаточные условия защищенности ФЯ от семантических ошибок и возможности исправления в текстах на ФЯ синтаксических ошибок определенной кратности.

3. Исследованы задачи анализа и синтеза ФЯ с учетом их помехозащищенности. Рассмотрены интенсиональный и экстенсиональный подходы к анализу помехозащищенности ФЯ и предложены два способа ее количественной оценки при интенсиональном подходе.

4. Предложены формализованная структура предложения языка управления и алгоритм исправления ошибок единичной кратности в текстах на языках управления. Рассмотрены методы синтаксической защиты управляющих структур алгоритмов и предложены принципы алгоритмизации контроля структурированности программ.

5. Разработаны общая методика анализа помехозащищенности и алгоритмы ее количественной оценки, опирающиеся на представление анализируемого иерархического уровня языка в виде графа либо множества строк символов.

6. Разработана общая методика кодирования самоконтролирующихся шифров с одним контрольным символом для цифровой и алфавитно-цифровой информации и методы алгоритмизации процедур контроля и исправления ошибок в них с использованием контекстной информации.

7. Проведен анализ ошибок, возникающих в идентификаторах

-192. структур данных языков программирования высокого уровня и рае- I смотрены методы синтаксической защиты программ от ошибок в идентификаторах.

8. Исследованы информационные модели ошибок в структурах хранения данных на внешних магнитных носителях. Предложены принципы аппаратной реализации высоконадежной системы накопителей на М А с использованием кодов с исправлением пачек асимметрических ошибок и разработан метод программного контроля и коррекции архивных наборов данных в НМД .

9. Разработано программное обеспечение для ряда автоматизированных и инструментальных систем, реализующее предложенные методы синтаксической защиты информационных и управляющих струк тур.

Результаты, полученные в работе,использованы: а) при создании упрощенного языка управления заданиями и программ ввода и кодирования шифров автоматизированной системы

АСфОР-МЭИдля обработки массовых потоков студенческих заданий и при разработке программ генерации и контроля шифров для автоматизированной системы ЭКСПРЕСС; системы АСФОР-МЗИ и ЭКСПРЕСС используются на Вычислительном центре МЭИ при организации лабораторного практикума по курсу "Вычислительная математика и программирование" и другим; б) при проектировании устройства управления для высоконадежной системы накопителей на М Д в организации п/я А-1178; в) при разработке црограммного обеспечения инструментальной системы автоматизированной разработки структурированных программ ИКА Р- С, используемой в; ряде организаций; г) при разработке программной системы КАСКАД контроля и коррекции архивных наборов данных в НМД, используемой в ПНИИММ(г.Пензэ); д) при создании лабораторного практикума по курсу "Системное программирование" на кафедре Прикладной математики МЭИ.

Список литературы диссертационного исследования кандидат технических наук Хорев, Павел Борисович, 1984 год

1. Алагич С., Арбиб М. Проектирование корректных структурированных программ: Пер. с англ./Ред.О.М.Рякин. М.: Радио и связь, 1984. - 264 с.

2. Амербаев В.М. Теоретические основы машинной арифметики. -Алма-Ата: Наука, 1977.3. Безбородов Ю.М. Индивидуальная отладка программ. М.:1. Наука, 1982. 191 с.

3. Бетелин В.Б. Мониторная система " А СФОР". Командный язык. Командная система. М.: Препринт ИПМ, 1978, № 49. - 51 с.

4. Бояринов И.М., Давыдов A.A., Мамедли Э.М., Смеркис Ю.Б. Использование помехоустойчивого кодирования для защиты информации от ошибок оператора. Автоматика и телемеханика, 1983, № 2, с. 5-49.

5. Брукс Ф.П. мп. Как проектируются и создаются программные комплексы: Пер. с англ./ Ред.А.П.Ершов. М.: Наука, 1979. -152 с.

6. Ван Тассел Д. Стиль, разработка, эффективность, отладка и испытание программ : Пер.с англ./ Ред.Э.А.Трахтенгерц. М.: Мир, 1981. - 320 с.

7. Вегнер П. Программирование на языке Ада: Пер.с англ./ Ред.В.Ш.Кауфман. М.: Мир, 1983. - 239 с.

8. Вирт Н. Систематическое программирование. Введение: Пер.с англ./Ред. Ю.М.Банковский. М.: Мир, 1977. - 184 с.

9. Геворкян Д.Н., Оганесян С.Ш., Таирян В.й. Ягдаян В.Г. Построение кодов для коррекции сплошных всплесков'; ,ошибок в асимметрическом канале. В кн.: Труды УТ конференции по теории кодирования и передачи информации. Ч.П. - М. - Томск, 1975, с.49-50.

10. Геворкян Д.Н., Таирян В.И., Хачатрян Г.Г. Синтез кодов с произвольным основанием для коррекции пачек ошибок в асимметрическом канале. В кн.: Труды У1 конференции по теории кодирования и передачи информации. Ч.П. - М. - Томск, 1975, с.51-53.

11. Глушков В.М., Брановицкий В.И., Довгялло А.М., Рабинович 3.JH., Стогний A.A. Человек и вычислительная техника. Киев: Наукова думка, 1971. - 294 с.

12. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. Киев: Наукова думка, 1978. - 320 с.

13. Горбатов В.А. Теория частично упорядоченных систем. -М.: Советское радио, 1976. 336 с.

14. Давыдов A.A. Код для исправления многократных ошибок при обмене информацией между ЭВМ. В кн.: Труды У конференции по теории кодирования и передачи информации. Ч.У1. - М. - Горький, 1972, с.27-32.

15. Давыдов A.A. Повышение надежности хранения информациис помощью программно-реализуемых корректирующих кодов. Автоматика и телемеханика, 1973, № I, с.153-160.

16. Давыдов A.A. и др. Код, исправляющий пачки несимметрических ошибок при обмене информацией между вычислительными машинами. Автоматика и телемеханика, 1972, 7, с. 178-184.

17. Дал У., Дейкстра Э., Хоор К. Структурное программирование: Пер.с англ. /Ред. 9.3. Любимский, В.В.Мартынюк. М.: Мир, 1975. - 248 с. - •

18. Дейкстра Э. Дисциплина программирования: Пер.с англ./ Ред.Э.З.Любимский. М.: Мир, 1978. - 277 с.

19. Дзкадд Д.Р. Работа с файлами: Пер.с англ./ Ред.Э.З.Любимский. М.: Мир, 1975. - 144 с.

20. Джермейн К. Программирование на I ВОД/360: Пер.с англ. /Ред.B.C.Штаркман. М.: Мир, 1983. - 870 с.

21. Дынышн В.Н., Тогонидзе В.А. Циклические коды для несимметрического канала. В кн.: Труды У1 Конференции по теории кодирования и передачи информации. Ч.П. - М. - Томск, 1975,с.54-55.

22. Единая система ЭВМ. Общие сведения. М.: Статистика, 1974. - 136 с.

23. Ершов А.П. Введение в теоретическое программирование. -М.: Наука, 1977. 289 с.

24. Захаров С.Д., Хорев П.Б. Автоматизированные средства обеспечения достоверности хранения данных в накопителях на магнитных дисках. Тр./Моск. энерг. ин-т, вып.525, 1981, с.43-47.

25. Земшшский A.A., Персиц М.Г. Основы операционной системы ЕС ЭВМ. М.: Советское радио, 1980. - 144 с.

26. Йенсен К., Вирт Н. Паскаль. Руководство для пользователя и описание языка: Пер.с англ. Д.Б.Подшивалова. М.: Финансы и статистика, 1982. - 152 с.

27. Йодан Э. Структурное проектирование и конструирование программ: Пер.с англ./Ред.Л.Н.Королев. М.: Мир, 1979. - 416 с.

28. Касами Т. и др. Теория кодирования: Пер. с англ./ Ред. Б.С.Цыбаков и С.И.Гельфанд. М.: Мир, 1978. - 576 с.

29. Катцан Г. Вычислительные машины системы 370: Пер. с англ./ Ред. В.К.Левин и Л.Д.Райков. М.: Мир, 1974. - 513 с.

30. Кириллов A.A. Коды с произвольным основанием, исправляющие одиночные ошибки. В кн.: Проблемы кибернетики, вып.22, 1970, с.282-287.

31. Колмогоров А.Н., Драгалин А.Г. Введение в математиче- 196 скую логику. М.: Изд-во МГУ, 1982. - 120 с.

32. Кузин Л.Т. Основы кибернетики. Т.2. -М.: Энергия, 1979. 584 с.

33. Кульба В.В., Мимиконов А.Г., Шелков А.Б. Резервирование программных модулей и информационных массивов в АСУ. Автоматика и телемеханика, 1980, №8, с. 133-141.

34. Ларин В.Д. Обеспечение достоверности кодов при обработке экономической информации в автоматизированных системах управления. М.: ИПУ, 1975.

35. Литвинов В.В. Математическое обеспечение проектирования вычислительных систем и сетей. Киев: Техника, 1982. - 176 с#

36. Майерс Г. Надежность программного обеспечения: Пер. с англ. / Ред. В.Ш.Кауфман. М.: Мир, 1980. - 360 с.

37. Мак-Вильямс Ф.Дж., Слоэн Н. Дж. А. Теория кодов, исправляющих ошибки: Пер. с англ. / Ред. Л.А.Басалыго. -М.: Связь, 1979. 744 с.

38. Максимов Е.М. Недвоичный код, исправляющий одиночные выпадения символов. В кн.: Моделирование и управление в развивающихся системах. -М.: Наука, 1978, с. 139-143.

39. Марков A.A. Об алфавитном кодировании. Доклады АН СССР, i960, т.132, вып.З, с.521-523.

40. Марков A.A. Об алфавитном кодировании. Доклады АН СССР, 1961, т.139, вып.З, с.560-561.

41. Мартин Дж. Системный анализ передачи данных. T.I: Пер.с англ. / Ред.В.С.Лапин и А.Т.Белевцев. М.: Мир, 1975. - 256 с.

42. Мартин Дж. Системный анализ передачи данных. Т.2: Пер. с англ. / Ред.В.С.Лапин и А.Т.Белевцев. -М.:Мир, 1975. -431 с.

43. Мельников Ю.Н. Достоверность информации в сложных системах. М.: Советское радио, 1973. - 192 с.

44. Марчук Г. Научно-технический прогресс основа интенсификации общественного производства. - Коммунист, 1983, № 4, с.61-72.

45. Материалы ХХУ1 съезда КПСС. М.: Политиздат, 1981.- 223 с.

46. Оганесян С.Ш., Ягджян В.Г. Классы кодов, корректирующих пакеты ошибок в асимметричном канале. Проблемы передачи информации, 1970, т.У1, вып.4, с.27-34.

47. Основы автоматизации управления производственными процессами. М.: Советское радио, 1980. - 360 с.

48. Основы кибернетики. Математические основы кибернетики.- М.: Высшая школа, 1974. 416 с.

49. Основы кибернетики. Теория кибернетических систем. М.: Высшая школа, 1976. - 408 с.

50. Пархоменко П.П., Правильщиков П.А. Диагностирование программного обеспечения (обзор). Автоматика и телемеханика, 1980, № I, с.103-121.

51. Питерсон У., Уэлдон Э. Коды,исправляющие ошибки: Пер. с англ. / Ред. Р.Д.Добрушин и С.И.Самойленко. М.: Мир, 1976.- 594 с.- 198

52. Прогрессивные технологии программирования. Материалы семинара. М. : ЦЦНТП им.Ф.Э.Дзержинского, 1983. - 148 с.

53. Путинцев Н.Д. Аппаратный контроль управляющих цифровых вычислительных машин. М.: Советское радио, 1966. - 424 с.

54. Рякин О.М. Избыточность и синтаксическая защита в формальных языках. В кн. : Труды УШ Симпозиума по проблеме избыточности, в информационных системах. Ч.З. - I., 1983, с.157-160.

55. Рякин О.М. Кодирование для исправления пакетов ошибокв асимметрическом бинарном канале. В кн. : Вопросы кибернетики, вып.28. - М.: Изд-во АН СССР, 1977, с.81-88.

56. Рякин О.М. Обеспечение достоверности исходных данных. М.: МЭИ, 1979. - 55 с.

57. Рякин О.М. Основы методологии проектирования корректных программ. М. : МЭИ, 1980. - 84 с.

58. Рякин О.М., Вагин В.Н., Иванов С.Б., Хорев П.Б. и др. Разработка методологических основ проектирования структурированных программ на языке ПЛ/1. Отчет по НИР, № гос.регистр. 0I8230077I7, инв.№ 02820077 277. - М. : МЭИ, 1982. - 77 с.

59. Рякин О.М., Иванов С.Б. Принципы построения инструментального комплекса автоматизированной разработки программ

60. И КАР-С, Тр./Моск.энерг.ин-т, вып.525, 1981, с.66-70.

61. Рякин О.М., Иванов С.Б., Панова Н.Ф., Урнев И.В. Принципы автоматизации проектирования программ сверху вниз на основе препроцессорной обработки операционных абстракций. - Тр./ Моск.энерг. ин-т, вып.496, 1980, с.42-50.

62. Рякин О.М., Коблов Л. К. Логический контроль документальной информации. В кн. : Логическое управление в промышленности. - М.: Знание, 1977, с.86-93.

63. Рякин О.М., Лагунова В.А., Хорев П.Б. Программирование учебных задач с использованием системы АСФОР- МЭИ,- М.: МЭИ, 1981. 59 с.

64. Рякин О.М., Овчинников В.В., Хорев П.Б. Алгоритмы кодирования и декодирования весового кода, исправляющего пакеты асимметрических ошибок, и вопросы их реализации. В кн.: Вопросы кибернетики, вып.42. - М.: Изд-во АН СССР, 1978, с.86-91.

65. Рякин О.М., Панова Н.Ф. Автоматизированные методы верификации программного обеспечения вычислительных комплексов.

66. В кн.: Информационный обмен в вычислительных сетях. М.: Наука, 1980, с.136-149.

67. Рякин О.М., Хорев П.Б. Контроль и коррекция архивных наборов данных в ЗУ на магнитных дисках. В кн.: Труды Всесоюзной научно-технической конференции "Развитие теории и техники средств хранения информации". - М. - Рига, 1980, с. 115-117.

68. Рякин О.М., Хорев П.Б. и др. Разработка и исследование методов обеспечения достоверности хранения данных в накопителях на магнитных дисках.- Отчет по НИР, Л гос.регистр.77046522, инв. № Б 746823. М.: МЭИ, 1979. - 121 с.

69. Рякин О.М., Хорев П.Б. и др. Языковые средства и методика структурного программирования на базе оптимизирующего компилятора /I. Отчет по НИР, № гос.регистр.01823007717, инв. № 02830055402. - М.: МЭИ, 1983. - 90 с.

70. Рякин О.М., Хорев П.Б., Костров В.В. Надежностное обеспечение вычислительного процесса в системе АСфОР-МЭ\Л, Тр./ Моск.энерг.ин-т, вып.555, 1981, с.20-26.

71. Рякин О.М., Черкасов Ю.Н., ХоревП.Б. Экспериментальные данные по статистике ошибок в накопителях на магнитных дисках. В кн.: Труды 17 Всесоюзной Школы-семинара по вычислительным сетям. Ч.З. - М. - Ташкент, 1979, с.138-142.

72. Самойленко С.И. Помехоустойчивое кодирование. М.: Наука, 1966v - 240 с.

73. Самойленко С.И., Давыдов A.A.,Золотарев В.В., Третьякова Е.И. Вычислительные сети (адаптивность, помехоустойчивость, надежность). М.: Наука, 1981. - 277 с.

74. Синавина B.C. Оценка качества функционирования АСУ.-М.: Экономика, 1973. 192 с.

75. Средства отладки больших систем: Пер.с англ. / Ред. Э.З.Любимский, В.В.Мартынюк. М.: Статистика, 1977. - 136 с.

76. Структурное программирование на языке Паскаль. М.: МЭИ, 1982. - 73 с.

77. Тимофеев Б.Б., Литвинов В.А. Методы обнаружения ошибок в алфавитно-цифровых последовательностях на этапе подготовки и ввода данных в ЭВМ. Управляющие системы и машины, 1977, .№ 4, с.20-27.

78. Турский В. Методология программирования: Пер. с англ. /

79. Ред.А.П.Ершов. М.: Мир, 1981. - 264 с.

80. Фортран ЕС ЭВМ. М.: Статистика, 1978. - 264 с.

81. Фролов A.B., Челноков Н.И., Рякин О.М., Калитин С.С., Хорев П.Б. и др. Разработка специального программного обеспечения подсистемы коллективного пользования для массовых студенческих потоков. Отчет по НИР, Jß гос.регистр. 79005515, инв. №

82. Б 724997. М.: МЭИ, 1978. - 63 с.

83. Фролов A.B., Челноков Н.И., Рякин О.М., Лагунова В.А., Хорев П.Б. и др. Автоматизированная система АСФОР -МЭИ обработки учебных задач студентов. Версия 4.2. Отчет по НИР,гос.регистр.80012638, инв. J6 Б846914. М.: МЭИ, 1980. - 84 с.

84. Фролов Г.Д., Олюнин В.Ю. Практический курс программирования на языке Р£/1. М.: Наука, 1983. - 384 с.

85. Хетагуров Я.А., Руднев Ю.П. Повышение надежности цифровых устройств методами избыточного кодирования. М.: Энергия, 1974. - 272 с.

86. Холл П. Вычислительные структуры: Введение в нечисленное программирование: Пер. с англ./ Ред. Э.З.Лгобимский. М.: Мир, 1978. - 214 с.

87. Холстед М.Х. Начала науки о программах: Пер.с англ. В.М.Юфы. М.: Финансы и статистика, 1981. - 128 с.

88. Хорев П. Б. Графовая модель для анализа помехозащищенности языка управления. В кн.: Труды Семинара "Цифровое машинное моделирование сложных технических систем". - Пенза, 1983, с.73-74.

89. Хусаинов Б.С. Программирование ввода-вывода в ОС. ЕС ЭВМ на языке Ассемблера. М.: Статистика, 1980. - 264 с.

90. Шамаев Ю.М., Огнев И.В., Пескова С.А., Рякин О.М.,- 202

91. Хорев П. Б. и др. Разработка методов повышения надежности системы накопителей на магнитных дисках. Часть 2. Отчет по НИР, Jt гос.регистр.У34015, инв. № Г60143. - М.: МЭИ, 1978. - 233 с.

92. Яглом И.М. Математические структуры и математическоемоделирование. М.: Советское радио, 1980. - 145 с.

93. BahtL.R.,Chien R.T. Mutiipte-êuzst-ezzoz coziection êy ifiieçkofoù decoding. I nfozmotton and ConizoE, 1969, v. 15, A/=5, p. 397-406.

94. Веские y D. F. On optimum system wiik "modiifa 11 ". The Computet BuMetin, 1967, v. H, 33 p. 241-215.

95. Conway R. Q pzimez on disciplined pzogzam-ming using />///, Pl/cS and PL/CT. ~ Winthzop Puê-ù'sftez,sr Inc., 1978. -¿/20p.

96. Dijkstza E.W. Pzogzamming conSidezed as a human activity. PzoceedingS of IFIP Congzegs' 65. " Spaztan Book$ ,Washington pD, C.,1965.

97. Hoaze C. On axiomatic êasiS $oz computez pzод ta mming. Communications of ibe ACM 1369 V. 12, № 10, p. 576- 580.

98. Kowatïky R. Aigozithm = Logic + ContzoE. -Communications of thz ACM, 1979, к 22>a/£ï> p.35.

99. Re id C.J. ModutuZ H check digiê.-The Computer BuMetin, 49 70, v. 1H, p. 422-125.

100. Sethi Rajazaman V.,Kenja(e P.g. Qnezzoz- cozxectihg coding scheme fox atfhammexicdata. -Infozmation Pzocessing ¿ettezg 1978 v ? №2, p. 72- 77. * 9

101. Wcid W.G-. %e theozy of moduing N checkdigits systems.- 7he Computer Butfetin 1968, V. 12, a/s p. 309-344. '