Поиск
Закладки
Озвучивание недоступно Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Функциональная безопасность систем управления на железнодорожном транспорте

5. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ ПРОГРАММНЫХ СРЕДСТВ

Предыдущая страница

Следующая страница

5. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ ПРОГРАММНЫХ СРЕДСТВ
На предыдущую главу Предыдущая глава
оглавление
Следующая глава На следующую главу

Table of contents

5. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ ПРОГРАММНЫХ СРЕДСТВ-
5.1. Систематические отказы, сбои, ошибки
5.1.1. Систематические ошибки и отказы по общей причине
5.1.2. Сбои, сбойные ошибки
5.1.3. Ошибки в программном обеспечении
5.1.4. Ошибки данных. Свойства данных в системах управления
5.1.5. Функциональные отказы вследствие информационных атак на систему управления
5.2. Жизненный цикл функциональной безопасности программных средств
5.3. Правила и этапы построения безопасных и надежных программных средств
5.3.1. Характерные недостатки программных средств
5.3.2. Маршрутная карта функциональной безопасности программного обеспечения
5.4. Технология разработки безопасных и надежных программных средств
5.4.1. Рекомендации по разработке спецификации требований
5.4.2. Предупреждение ошибок
5.4.3. Защитное программирование
5.4.4. Многоверсионное программирование
5.4.5. Обнаружение ошибок
5.4.6. Исправление ошибок
5.4.7. Устойчивость к ошибкам
5.5. Проектирование безопасного и надежного программного обеспечения и его реализация
5.5.1. Верификация программного обеспечения
5.5.2. Интеграция программного обеспечения с аппаратными средствами
5.6. Обеспечение функциональной безопасности и надежности программных средств в процессе эксплуатации и сопровождения
Литература к главе 5
Данный блок поддерживает скрол*