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

Содержание книги "Функциональная безопасность систем управления на железнодорожном транспорте "

Предисловие
1. ОСНОВНЫЕ ПОНЯТИЯ, ПОСТУЛАТЫ И ПРИНЦИПЫ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ НА ЖЕЛЕЗНОДОРОЖНОМ ТРАНСПОРТЕ
1.1. Введение
1.2. Основные понятия функциональной безопасности систем управления
1.3. Принципы безопасности
1.4. Жизненный цикл функциональной безопасности системы управления
1.5. Основополагающие стандарты в области функциональной безопасности технических систем
2. ГРАФОВЫЕ МЕТОДЫ ОПРЕДЕЛЕНИЯ ПОКАЗАТЕЛЕЙ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ И НАДЕЖНОСТИ СИСТЕМ УПРАВЛЕНИЯ НА ЖЕЛЕЗНОДОРОЖНОМ ТРАНСПОРТЕ
2.1. Исходные понятия
2.2. Введение. Постановка задачи
2.3. Графовый полумарковский метод моментов
2.4. Графовый полумарковский метод определения показателей функциональной безопасности на основе операторных преобразований
2.5. Приближенный графовый полумарковский метод моментов
2.6. Алгоритм расчета показателей безопасности и надежности систем графовыми методами
3. МОДЕЛИ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ СИСТЕМ УПРАВЛЕНИЯ НА Ж/Д ТРАНСПОРТЕ
3.1. Нормирование допустимого времени существования опасного отказа
3.2. Безопасность двухканальных систем
3.3. Оценка вероятности возникновения опасных отказов при перезапуске двухканальных систем
3.4. Организация информационной системы управления с комбинированной (двухуровневой) функциональной безопасностью
3.5. Модели функциональной безопасности комбинированной двухуровневой системы
3.6. Базовая модель оценки опасных отказов в критически важных системах
4. ПРИНЦИПЫ ПОСТРОЕНИЯ ФУНКЦИОНАЛЬНО БЕЗОПАСНЫХ УСТРОЙСТВ
4.1. Безопасность релейной автоматики
4.2. Функциональная безопасность бесконтактных устройств
4.3. Структурные методы обеспечения функциональной безопасности устройств
4.4. Безопасные двухканальные системы
Литература к главе 4
5. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ ПРОГРАММНЫХ СРЕДСТВ
5.1. Систематические отказы, сбои, ошибки
5.2. Жизненный цикл функциональной безопасности программных средств
5.3. Правила и этапы построения безопасных и надежных программных средств
5.4. Технология разработки безопасных и надежных программных средств
5.5. Проектирование безопасного и надежного программного обеспечения и его реализация
5.6. Обеспечение функциональной безопасности и надежности программных средств в процессе эксплуатации и сопровождения
Литература к главе 5
6. МЕТОДЫ И ТЕХНОЛОГИИ СОЗДАНИЯ ФУНКЦИОНАЛЬНО БЕЗОПАСНЫХ СИСТЕМ
6.1. Новые технологии обеспечения функциональной безопасности систем управления
6.2. Обеспечение функциональной безопасности системы управления движением локомотивов с помощью виртуального канала обработки информации
6.3. Функциональная безопасность и цифровые двойники
6.4. Прогнозирование опасных отказов методами искусственного интеллекта
6.5. Оценка функциональной безопасности системы беспилотного управления поездами
6.6. Оценка безопасности и бесперебойности работы системы управления маневровым локомотивом с техническим зрением
6.7. Обеспечение отказобезопасности и кибербезопасности систем управления
Литература к главе 6
7. ПОДТВЕРЖДЕНИЕ СООТВЕТСТВИЯ ТРЕБОВАНИЯМ БЕЗОПАСНОСТИ СИСТЕМ УПРАВЛЕНИЯ
7.1. Общие положения подтверждения соответствия систем управления на железнодорожном транспорте
7.2. Требования к функциональной и информационной безопасности
7.3. Оценка соответствия заданным требованиям
Литература к главе 7
Заключение
Приложение 1. Доказательства теорем
Приложение 2. Перечень учитываемых отказов электронных компонентов