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

СОДЕРЖАНИЕ
Введение
1. Формальные языки и их надежностные модели
1.1. Структура формальных языков. Управляющие и информационные структуры
1.2. Модели ошибок в текстах на формальных языках
1.3. Обобщенная метрика ошибок в текстах на формальных языках
1.4. Принципы количественной оценки помехозащищенности формальных языков Выводы по первой главе
2. Методы синтаксической защиты информационных
структур
2.1. Самоконтролируициеся шифры в структурах ввода исходных данных
2.2. Контекстнозависимые методы исправления ошибок в самоконтролирущихся шифрах
2.3. Синтаксическая защита идентификаторов в структурах данных языков программирования
2.4. Использование помехоустойчивого кодирования для контроля и коррекции ошибок В структурах хранения данных
Выводы по второй главе
3. Синтаксическая защита и анализ помехозащищенности управляющих структур императивных языков
з
3.1. Синтаксическая защита ключевых слов императивных языков
3.2. Исправление синтаксических ошибок в текстах на языках управления
3.3. Синтаксическая защита управляющих структур языков программирования
3.4. Методика анализа помехозащищенности управляющих структур языка на основе обобщенной метрики ошибок
Выводы по третьей главе . 1Ъв
4. Практические приложения методов контроля и диагностики синтаксически защищенных структур в
системах управления
4.1. Программные методы контроля ошибок в системе АСФОРМЭй
4.2. Анализ помехозащищенности языков управления заданиями в системах А0Ф0РМЗЙ и
ЭКСПРЕСС
4.3. Программная система защиты архивных наборов данных на ВД
4.4. Методика помехоустойчивого кодирования информации в высоконадежных системах накопителей на МД
4.5. Методы контроля управляющих структур алгоритмов в структурном подмножестве ПЛ1
Выводы по четвертой главе
Заключение
4
Список литературы