ГОСТ IEC 60335-1—2015
Т а б л и ц а R.4 — Спецификация архитектуры программного обеспечения
Технические приемы или средства
Ссылка на информацию
Обнаружение неисправностей и диагностика
IEC 61508-7, С.3.1
Полуформальные методы:
Логические или функциональные блок-схемы;
Циклограммы (диаграммыпоследовательностей);
Диаграммы конечных автоматов или диаграммы
переходов;
Схемы потоков данных
IEC 61508-7, В.2.3.2
IEC 61508-7, С.2.2
R.3.2.2.2
Спецификация архитектуры должна пройти процедуру валидации с учетом требований без
опасностипрограммного обеспечениясприменениемметодов статического анализа.
Примечание — Примерами методов статического анализа являются:
- анализ алгоритмов управления (IEC 61508-7, С.5.9);
- анализ потоков данных (IEC 61508-7, С.5.10);
- сквозной анализ или оценка проекта (IEC 61508-7, С.5.16).
R.3.2.3 Проектирование модулей и программирование
R.3.2.3.1 Основываясь на разработанной архитектуре, программное обеспечение должно быть выполнено
в виде модулей. Проектирование модулей программного обеспечения и программирование должно выполняться
таким образом, чтобы обеспечивалась прослеживаемость к программной архитектуре итребованиям.
Соответствие проверяют по R.3.2.3.3 ианализом документации.
Примечания
1Допускается использование компьютерных средств проектирования.
2 Рекомендуется использовать технологии безопасного программирования (IEC 61508-7, С.2.5), например,
контроль диапазонов, контроль деления на ноль, контроль правдоподобия.
3 При проектировании модулей должны определять:
- функции;
- интерфейсы между модулями;
- данные.
4 Примеры некоторых технических приемов или средств для соответствия этим требованиям могут быть най
дены в таблице R.5.
Т а б л и ц а R.5 — Спецификация проектирования модулей
Технические приемы или средства
Ссылка на информацию
Ограничение размера программных модулей
IEC 61508-7, С.2.9
Сокрытие информации/инкапсуляция
IEC 61508-7, С.2.8
Одна входная и одна выходная точка в подпрограммах и функциях
IEC 61508-7, С.2.9
Полностью определенный интерфейс
IEC 61508-7, С.2.9
Полуформальные методы:
Логические или функциональные блок-схемы;
Циклограммы (диаграммы последовательностей);
Диаграммы конечных автоматов или диаграммы переходов;
Схемы потоков данных
IEC 61508-7, В.2.3.2
IEC 61508-7, С.2.2
R.3.2.3.2 Программный коддолжен быть структурирован.
Соответствие проверяют по R.3.2.3.3 ианализом документации.
Примечания
1 Сложность структуры может быть минимизирована при использовании следующих принципов:
- поддержания малого количества возможных путей внутри программных модулей и поддержания связей
между входными и выходными параметрами настольно простыми, насколько это возможно;
- избегания сложных ветвлений и, в особенности, безусловных переходов (GOTO) в языках программирова
ния высокого уровня;
- если возможно, установления ограничений на циклы и ветвления по входным параметрам;
125