только для медицинских специалистов

Раздел 6 / 11

Страница 1 / 51

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

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Часть функций, например, копирование текста к себе в конспект, озвучивание и т.д. могут быть доступны только в режиме постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется вход / регистрация

На предыдущую главу

На следующую главу

Скачать приложение

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

Оглавление

Предисловие

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. Перечень учитываемых отказов электронных компонентов