ГОСТ IEC 60730-1—2016
Н.11.12.3.2.1.1 Спецификация требований безопасности программного обеспечениядолжна включать всебя:
- описание каждой относящейся к безопасности реализуемой функции, включая ее время отклика:
функции, относящиеся к аппарату (прибору) в целом, включая соответствующие им классы программного
обеспечения:
функции. относящиеся к обнаружению, оповещению и управлению неисправностями программного или
аппаратного обеспечения;
- описание интерфейсов между программным обеспечением и аппаратным обеспечением;
- описание интерфейсов между любыми связанными и не связанными с безопасностью функциями.
Примеры подходое.’способов указаны в таблице Н.2.
Таблица Н.2 — Полуформальные методы
Падход/Способ
Ссылки (для справки)
Идентификация стандартов
Полуформальные методы
- Логические/функциональные блок-схемы
- Диаграммы последовательности
- Диаграммы конечных автоматов /изменений состояний
- Решение/габлицы истинности
B.2.3.2 IEC 61508-7:2010
C.6.1 IEC 61508-7:2010
Могут быть применены прочие, удовлетворяющие требованиям, методы.
Н.11.12.3.2.2 Архитектура программного обеспечения
Н.11.12.3.2-2.1 Описание архитектуры программного обеспечения должно включатьв себя следующие аспекты:
- подходы и способы контроля состояний неислравностей/ошибок программного обеспечения (обратиться к
Н.11.12.2);
- взаимодействие между аппаратным и программным обеспечениями;
- деление на модули и их распределение по указанным функциям безопасности;
- иерархия и структура вызовов модулей (алгоритм работы);
- обработка прерываний:
- потокданных и ограничения на доступ к данным:
- архитектура и хранение данных;
- временные зависимости последовательностей операций и данных.
Примеры подходов/способов указаны в таблице Н.З.
Таблица Н.З — Спецификация архитектуры программного обеспечения
Лодход/Способ
Ссылки (для справки)
Обнаружение и диагностика неисправности
С.3.1 IEC 61508-7:2010
Полуформальные методы:
- Логические/функциональные блок-схемы
- Диаграммы последовательности
- Диаграммы конечных автоматов/изменений состояний
- Диаграммы потоков данных
B.2.3.2 IEC 61508-7:2010
C.2.2IEC 61508-7:2010
Н.11.12.3.2.2.2 Спецификация архитектуры должна пройти поверку спецификацией требований безопасно
сти программного обеспечения путем статического анализа.
Примечание — Приемлемыми методами статистического анализа являются:
- анализ потока команд (алгоритма):
- анализ потока данных;
- сквозной контроль/рецензирование проекта.
Н.11.12.3.2.3 Модульное проектирование и кодирование
Примечания
1Допускается использование компьютеризированных средств проектирования.
2 Для защитного программирования (например, проверки диапазонов, проверки на деление на 0. проверки
на достоверность) см. С.2.5 IEC 61508-7:2010.
154