ГОСТ Р 53195.4-2010 Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 4. Требования к программному обеспечению
Приложение Б
(справочное)
Подробные таблицы
Таблица Б.1 - Рекомендации по применению стандартов для проектирования и кодирования (упомянутых в таблице А.4 приложения А)
Методы/средства для оценки функциональной безопасности ПО | Ссылка на структурную единицу ГОСТ Р 53195.5-2010 | Ранг применимости методов/средств для | |||
SIL1 | SIL2 | SIL3 | SIL4 | ||
1 Использование стандартов кодирования | В.2.6.2 | КР (HR) | КР (HR) | КР (HR) | КР (HR) |
2 Отказ от использования динамических объектов | В.2.6.3 | P (R) | КР (HR) | КР (HR) | КР (HR) |
3а Отказ от использования динамических переменных | В.2.6.3 | -- | P (R) | КР (HR) | КР (HR) |
3б Проверка создания динамических переменных при выполнении программы | В.2.6.4 | -- | P (R) | КР (HR) | КР (HR) |
4 Ограниченное использование прерываний | В.2.6.5 | P (R) | P (R) | КР (HR) | КР (HR) |
5 Ограниченное использование указателей | В.2.6.6 | -- | P (R) | КР (HR) | КР (HR) |
6 Ограниченное использование рекурсий | В.2.6.7 | -- | P (R) | КР (HR) | КР (HR) |
7 Неиспользование безусловных переходов в программах, написанных на языках высокого уровня | В.2.6.2 | P (R) | КР (HR) | КР (HR) | КР (HR) |
Примечание - Применение методов 2 и 3а не требуется, если использован компилятор, который гарантирует выделение достаточного объема памяти для всех динамических переменных и объектов до начала выполнения программы либо вставляет проверки корректного выделения памяти в процессе выполнения. | |||||
Таблица Б.2 - Рекомендации по применению методов/средств динамического анализа и тестирования (упомянутых в таблицах А.5 и А.9 приложения А)
Методы/средства динамического анализа и тестирования | Ссылка на структурную единицу ГОСТ Р 53195.5-2010 | Ранг применимости методов/средств для | |||
SIL1 | SIL2 | SIL3 | SIL4 | ||
1 Выполнение контрольного примера, начиная с анализа граничных значений | В.5.4 | P (R) | КР (HR) | КР (HR) | КР (HR) |
2 Выполнение контрольного примера, начиная с предполагаемой ошибки | В.5.5 | P (R) | P (R) | P (R) | P (R) |
3 Выполнение контрольного примера, начиная с введения ошибки | В.5.6 | -- | P (R) | КР (HR) | КР (HR) |
4 Моделирование реализации | В.5.20 | P (R) | P (R) | P (R) | КР (HR) |
5 Разделение входных данных на классы эквивалентности | В.5.7 | P (R) | P (R) | P (R) | КР (HR) |
6 Структурное тестирование | В.5.8 | P (R) | P (R) | КР (HR) | КР (HR) |
Примечание - Анализ с использованием тестовых примеров проводят на уровне подсистем. Он основывается на спецификациях и/или спецификациях и текстах программ. | |||||
Таблица Б.3 - Рекомендации по применению методов/средств функционального тестирования и тестирования методом "черного ящика" (упомянутых в таблицах А.5, А.6 и А.7 приложения А)
Методы/средства функционального тестирования и тестирования методом "черного ящика" | Ссылка на структурную единицу ГОСТ Р 53195.5-2010 | Ранг применимости методов/средств для | |||
SIL1 | SIL2 | SIL3 | SIL4 | ||
1 Выполнение контрольного примера, начиная с причинно-следственных диаграмм | Б.6.5.2 | -- | -- | P (R) | P (R) |
2 Макетирование/анимация | В.5.17 | -- | -- | P (R) | P (R) |
3 Анализ граничных значений | В.5.4 | P (R) | КР (HR) | КР (HR) | КР (HR) |
4 Разделение входных данных на классы эквивалентности | В.5.7 | P (R) | КР (HR) | КР (HR) | КР (HR) |
5 Моделирование процесса | В.5.18 | P (R) | P (R) | P (R) | P (R) |
Примечания 1 Анализ с использованием контрольных примеров выполняется на уровне систем ПО и основывается только на спецификациях. 2 Необходимая полнота моделирования должна выбираться в зависимости от уровня полноты безопасности, сложности и условий применения. | |||||
Таблица Б.4 - Рекомендации по применению методов/средств анализа отказов (упомянутых в таблице А.10 приложения А)
Методы/средства анализа отказов | Ссылка на структурную единицу ГОСТ Р 53195.5-2010 | Ранг применимости методов/средств для | |||
SIL1 | SIL2 | SIL3 | SIL4 | ||
1а Диаграммы последовательностей событий | Б.6.5.2 | P (R) | P (R) | P (R) | P (R) |
1б Анализ методом дерева событий | Б.6.5.3 | P (R) | P (R) | P (R) | P (R) |
2 Анализ методом дерева отказов | Б.6.5.5 | P (R) | P (R) | КР (HR) | КР (HR) |
3 Анализ видов отказов и критичности компонентов | Б.6.5.4 | P (R) | P (R) | КР (HR) | КР (HR) |
4 Моделирование методом Монте-Карло | В.6.6 | P (R) | P (R) | P (R) | P (R) |
Примечание - Для отнесения ПО к соответствующему уровню полноты безопасности должен быть предварительно выполнен анализ рисков. | |||||
Таблица Б.5 - Рекомендации по применению методов/средств моделирования (упомянутого в таблице А.7 приложения А)
Методы/средства моделирования | Ссылка на структурную единицу ГОСТ Р 53195.5-2010 | Ранг применимости методов/средств для | |||
SIL1 | SIL2 | SIL3 | SIL4 | ||
1 Диаграммы потоков данных | В.2.2 | P (R) | P (R) | P (R) | P (R) |
2 Метод конечных автоматов | Б.2.3.2 | -- | P (R) | КР (HR) | КР (HR) |
3 Формальные методы | В.2.4 | -- | P (R) | P (R) | КР (HR) |
4 Моделирование реализации | В.5.20 | P (R) | КР (HR) | КР (HR) | КР (HR) |
5 Метод сетей Петри | Б.2.3.3 | -- | P (R) | КР (HR) | КР (HR) |
6 Макетирование/анимация | В.5.17 | P (R) | P (R) | P (R) | P (R) |
7 Структурные диаграммы | В.2.3 | P (R) | P (R) | P (R) | КР (HR) |
Примечание - Должны быть приняты во внимание и другие методы/средства, не указанные в настоящей таблице. | |||||
Таблица Б.6 - Рекомендации по применению методов/средств тестирования характеристик (упомянутых в таблицах А.5 и А.6 приложения А)
Методы/средства тестирования характеристик | Ссылка на структурную единицу ГОСТ Р 53195.5-2010 | Ранг применимости методов/средств для | |||
SIL1 | SIL2 | SIL3 | SIL4 | ||
1 Тестирование в предельных режимах | В.5.21 | P (R) | P (R) | КР (HR) | КР (HR) |
2 Ограничение временных интервалов и объема памяти | В.5.22 | КР (HR) | КР (HR) | КР (HR) | КР (HR) |
3 Требования к реализации | В.5.19 | КР (HR) | КР (HR) | КР (HR) | КР (HR) |
Таблица Б.7 - Рекомендации по применению полуформальных методов/средств (упомянутых в таблицах А.1, А.2 и А.4 приложения А)
Полуформальные методы/средства | Ссылка на структурную единицу ГОСТ Р 53195.5-2010 | Ранг применимости методов/средств для | |||
SIL1 | SIL2 | SIL3 | SIL4 | ||
1 Логические/функциональные блок-схемы | В.7 | P (R) | P (R) | КР (HR) | КР (HR) |
2 Диаграммы последовательности | В.7 | P (R) | P (R) | КР (HR) | КР (HR) |
3 Диаграммы потоков данных | В.2.2 | P (R) | P (R) | P (R) | P (R) |
4 Метод конечных автоматов/диаграммы переходов | Б.2.3.2 | P (R) | P (R) | КР (HR) | КР (HR) |
5 Метод сетей Петри | Б.2.3.3 | P (R) | P (R) | КР (HR) | КР (HR) |
6 Таблицы решений и таблицы истинности | В.6.1 | P (R) | P (R) | КР (HR) | КР (HR) |