Справка
x
только для медицинских специалистов
Консультант врача
Электронная медицинская библиотека
Вход / регистрация
Каталог
В книге
Показать все
Расширенный поиск
К результату поиска
Меню
Библиотека
Все книги
Руководства
Рекомендации
Монографии
Основные учебники
Атласы
Пациентам
Фармакология
Образование
Модули
Расписание вебинаров
Прошедшие вебинары
Мероприятия
Мероприятия
Лекарства
Справочник
Раздел
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. Перечень учитываемых отказов электронных компонентов
Функциональная безопасность систем управления на железнодорожном транспорте
Оборот титула
Оглавление
Предисловие
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. Перечень учитываемых отказов электронных компонентов
Показать все
Все издания
Закрыть меню