Введение
1. Вопросы совершенствования процесса обеспечения и доказательства безопасности микропроцессорных систем железнодорожной автоматики и телемеханики 8
1.1. Тенденции развития систем управления перевозочным процессом на железнодорожном транспорте 8
1.2. Проблемы обеспечения и доказательства безопасности МП СЖАТ 12
1.3. Анализ методов построения безопасных МП СЖАТ 29
1.4. Инструментальное обеспечение процесса разработки и доказательства безопасности МП СЖАТ 38
1.5. Постановка задач диссертации 47
2. Синтез элементов контрольных схем для систем с кодированием информации - самопроверяемых двоичных счетчиков единиц 49
2.1. Анализ известных методов построения двоичных счетчиков единиц 49
2.2. Синтез оптимальных счетчиков по произвольному модулю счета 54
2.2.1. Счетчик на базе схемы реализации множества простых симметричных функций 54
2.2.2. Счетчик с использованием счетчика по модулю (п+1) и преобразователя 60
2.2.3. Оценка сложности синтезированных счетчиков 82
2.2.4. Самопроверяемость синтезированных счетчиков 85
2.3. Блочная структура двоичного счетчика единиц 91
2.4. Выводы по второму разделу 95
3. Инструментальное обеспечение процесса экспертизы и испытаний программного обеспечения на безопасность 97
3.1. Цели анализам испытаний ПО на безопасность 97
3.2. Методы и средства анализа ПО на безопасность 105
3.3. Разработка базовых моделей и общей структуры автоматизированного средства экспертизы и испытаний ПО на безопасность 115
3.4. Использование разработанных базовых моделей для автоматизированного решения задач экспертизы и испытаний ПО на безопасность 127
3.5. Функциональная модель процессора 134
3.5.1. Синтез модели 134
3.5.2. Испытания с использованием функциональной модели процессора 146
3.6. Выводы по третьему разделу 149
4. Разработка и примение средств инструментального обеспечения испытаний мп сжат на безопасность 151
4.1. Концепции повышения эффективности инструментальных средств испытаний МП СЖАТ на безопасность 151
4.2. Методика выделения совокупности сигналов и диапазонов значений их параметров для имитации 159
4.3. Разработка имитаторов входных воздействий МП СЖАТ 167
4.4. Последовательность применения инструментальных средств в процессе экспертизы и испытаний на безопасность микропроцессорных систем автоблокировки 176
4.5. Выводы по четвертому разделу 184
Заключение 186
Список использованной литературы 189
Приложения 204
