Содержание
- ГОСТ Р 53195.5-2010 Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 5. Меры по снижению риска, методы оценки
- Предисловие
- Введение
- 1 Область применения
- 2 Нормативные ссылки
- 3 Термины и определения
- 4 Обозначения и сокращения
- 5 Меры (методы/средства) по снижению риска
- 6 Методы оценки
- Приложение А (cправочное). Методы и средства для E/E/PE СБЗС-систем: контроль случайных отказов АС
- A.1 Электрические системы и компоненты
- A.2 Электроника
- A.3 Устройства обработки данных
- A.4 Постоянное запоминающее устройство
- A.5 Изменяемые пространства памяти
- A.6 Устройства ввода-вывода и интерфейсы (внешний обмен)
- A.7 Маршруты данных (внутренний обмен)
- A.8 Устройства обеспечения (например, электропитания, синхронизации и т.п.)
- A.9 Временной и логический контроль последовательности выполнения программ
- A.10 Средства охлаждения и подогрева
- A.11 Обмен данными и запоминающее устройство большой емкости
- A.12 Датчики
- A.13 Оконечные элементы (приводы)
- Приложение Б (справочное). Методы/средства для исключения систематических отказов СБЗС-систем
- Приложение В (справочное) Методы/средства для достижения полноты безопасности программного обеспечения
- В.1 Общие положения
- В.2 Требования и детальное проектирование
- Рисунок В.1 - Функциональный блок действия и интерфейсные линии
- Рисунок В.2 - Структура SADT-модели: декомпозиция диаграмм
- Рисунок В.3 - Одновременное выполнение
- Рисунок В.4 - Взаимосвязь диаграммы А12 с родительской диаграммой А1
- Рисунок В.5 - Пример обратной связи
- Рисунок В.6 - Пример диаграммы (механизмом является брокер)
- Рисунок В.7 - Иерархия диаграмм
- Таблица В.1 - Типы связанности
- Рисунок В.8 - Случайная связанность
- Рисунок В.9 - Процедурная связанность
- Рисунок В.10 - Коммуникационная связанность
- Рисунок В.11 - Последовательная связанность
- Рисунок В.12 - Функциональная связанность
- Таблица В.2 - Характеристики связанностей
- В.3 Структурное проектирование
- В.4 Инструменты разработки и языки программирования
- В.5 Верификация и модификация
- В.6 Оценка функциональной безопасности
- Приложение Г (справочное) Методы оценки. Вероятностный подход к определению полноты безопасности предварительно разработанных программных средств
- Г.1 Общие положения
- Г.2 Формулы статистического тестирования и примеры их использования
- Таблица Г.2 - Вероятности отказа при режиме работы с низкой интенсивностью запросов
- Таблица Г.3 - Средние расстояния между двумя точками тестирования
- Таблица Г.4 - Вероятности отказа для режима с высокой интенсивностью запросов или непрерывным запросом
- Таблица Г.5 - Вероятность тестирования всех свойств программы
- Библиография