Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Функциональная безопасность систем управления на железнодорожном транспорте
5. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ ПРОГРАММНЫХ СРЕДСТВ
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Предисловие
1. ОСНОВНЫЕ ПОНЯТИЯ, ПОСТУЛАТЫ И ПРИНЦИПЫ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ НА ЖЕЛЕЗНОДОРОЖНОМ ТРАНСПОРТЕ
+
2. ГРАФОВЫЕ МЕТОДЫ ОПРЕДЕЛЕНИЯ ПОКАЗАТЕЛЕЙ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ И НАДЕЖНОСТИ СИСТЕМ УПРАВЛЕНИЯ НА ЖЕЛЕЗНОДОРОЖНОМ ТРАНСПОРТЕ
+
3. МОДЕЛИ ФУНКЦИОНАЛЬНОЙ БЕЗОПАСНОСТИ СИСТЕМ УПРАВЛЕНИЯ НА Ж/Д ТРАНСПОРТЕ
+
4. ПРИНЦИПЫ ПОСТРОЕНИЯ ФУНКЦИОНАЛЬНО БЕЗОПАСНЫХ УСТРОЙСТВ
+
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
6. МЕТОДЫ И ТЕХНОЛОГИИ СОЗДАНИЯ ФУНКЦИОНАЛЬНО БЕЗОПАСНЫХ СИСТЕМ
+
7. ПОДТВЕРЖДЕНИЕ СООТВЕТСТВИЯ ТРЕБОВАНИЯМ БЕЗОПАСНОСТИ СИСТЕМ УПРАВЛЕНИЯ
+
Заключение
Приложение 1. Доказательства теорем
Приложение 2. Перечень учитываемых отказов электронных компонентов
Данный блок поддерживает скрол*