Сертификация и доказательство безопасности систем железнодорожной автоматики
 

Сертификация и доказательство безопасности систем железнодорожной автоматики
под редакцией д.т.н. Вл. В. Сапожникова
Москва, Транспорт, 1997

Скачать


Содержание

ПРОБЛЕМЫ БЕЗОПАСНОСТИ МИКРОЭЛЕКТРОННЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОИ АВТОМАТИКИ.
МЕТОДОЛОГИЯ ДОКАЗАТЕЛЬСТВА БЕЗОПАСНОСТИ
1.1. Понятие безопасности
1.2. Концепция и показатели безопасности
1.3. Критерии опасных отказов
1.4. Методология доказательства безопасности

СЕРТИФИКАЦИЯ БЕЗОПАСНОСТИ МИКРОЭЛЕКТРОННЫХ СЖАТ
2.1. Основные понятия и нормативные документы
2.2. Международные организации и соглашения по сертификации
2.3. Сертификационные работы
2.4. Порядок подготовки и проведения сертификации микроэлектронных СЖАТ
2.5. Организационные аспекты сертификации средств
железнодорожной автоматики и телемеханики

ЭКСПЕРТНО-РАСЧЕТНЫЕ МЕТОДЫ ДОКАЗАТЕЛЬСТВА БЕЗОПАСНОСТИ
3.1. Роль экспертизы в обеспечении и доказательстве безопасности
3.2. Экспертные методы
3.3. Методические основы проведения экспертизы
3.4. Расчетные методы
3.5. Методика расчета показателей безопасности МП СЖАТ

МЕТОДОЛОГИЯ ИСПЫТАНИЙ МИКРОЭЛЕКТРОННЫХ СЖАТ НА БЕЗОПАСНОСТЬ
4.1. Анализ микроэлектронных СЖАТ как объекта испытаний . .
4.2. Требования к объекту испытаний и состав испытаний
4.3. Требования к методологическому и техническому обеспечению испытаний
4.4. Методика испытаний

ИСПЫТАНИЕ ТЕХНОЛОГИЧЕСКИХ АЛГОРИТМОВ НА БЕЗОПАСНОСТЬ
5.1. Технологические алгоритмы как объект испытаний
5.2. План испытаний
5.3. Контроль результатов выполнения рабочих функций
5.4. Технические средства для испытаний технологических алгоритмов

МОДЕЛИРОВАНИЕ АППАРАТНЫХ СРЕДСТВ, ОТВЕТСТВЕННЫХ ЗА БЕЗОПАСНОСТЬ
6.1. Цели и задачи логического моделирования
6.2. Характеристики моделирования
6.3. Анализ известных методов моделирования
6.4. Комплекс программных средств для моделирования дискретных устройств при доказательстве безопасности
6.5. Применение логического моделирования для доказательства
безопасности СЖАТ

ИМИТАЦИЯ ОТКАЗОВ МИКРОПРОЦЕССОРНЫХ КОМПЛЕКСОВ
7.1. Задачи имитации отказов в микропроцессорных СЖАТ
7.2. Эмуляторы микропроцессорных комплексов с имитацией отказов
7.3. Имитационные модели микропроцессоров
7.4. Имитационные модели программируемых ВИС
7.5. Моделирование отказов в микропроцессоре и программируемых устройствах
7.6. Испытание микропроцессорных систем на защищенность от опасного отказа

ИСПЫТАНИЯ САМОПРОВЕРЯЕМОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
8.1. Общая характеристика испытаний программного обеспечения на безопасность
8.2. Принципы построения самопроверяемых программ
8.3. Испытания самопроверяемого ПО при отказах аппаратных средств

ЭЛЕКТРОМАГНИТНАЯ СОВМЕСТИМОСТЬ УСТРОЙСТВ СЖАТ И БЕЗОПАСНОСТЬ
9.1. Влияние электромагнитных помех на безопасность функционирования СЖАТ
9.2. Методика обеспечения электромагнитной совместимости устройств СЖАТ
9,З Оценка электромагнитной обстановки
9.4. Испытания на помехозащищенность
9.5. Грозозащита микроэлектронных устройств

СБОР И ОБРАБОТКА ИНФОРМАЦИИ О БЕЗОПАСНОСТИ СЖАТ
10.1. Цели и задачи системы сбора и обработки информации
10.2. Сбор и анализ информации
10.3. Методика обработки информации
10.4. Анализ и результаты обработки статистических данных
по безопасности СЖАТ

Список литературы