ГОСТ IEC 60335-1—2015
- избегания сложных вычислений на основе ветвлений и циклических решений.
2 Примеры некоторыхтехнических приемов или средствдля соответствия этим требованиям могут быть най
дены втаблице R.6.
Т а б л и ц а R.6 — Стандарты на проектирование и программирование
Технические приемы или средстваСсылка на информацию
Использование стандарта на программирование (см. примечание)
Отказ от использования динамических объектов и переменных
(см. примечание)
IEC 61508-7, С.2.6.2
IEC 61508-7, С.2.6.3
Ограничение на использование прерываний
Ограничение на использование указателей
Ограничение на использование рекурсий
Отказ от использования безусловных переходов вязыках про
граммирования высокого уровня
IEC 61508-7, С.2.6.5
IEC 61508-7, С.2.6.6
IEC 61508-7, С.2.6.7
IEC 61508-7, С.2.6.2
П р и м е ч а н и е — Динамические объекты и/или переменные допустимы при использовании компилято
ра, который гарантирует выделение достаточной памяти для всех динамических объектов и/или переменных
перед началом исполнения, или который выполняет проверки правильности распределения памяти во время
исполнения.
R.3.2.3.3
Программноеобеспечениедолжнобытьвалидированонасоответствиеспецификациимодулей
методами статического анализа. Спецификация модулей должна быть валидирована на соответствие спе
цификацииархитектурыметодами статического анализа.
R.3.3.3 Валидация программного обеспечения
Программное обеспечение должно быть проверено с учетом требований безопасности к программному обе
спечению.
Примечание1 — Валидация представляет собой одобрение путем изучения ипредоставления объектив
ных свидетельств того, что требования к конкретному предполагаемому использованию выполнены. Поэтому, на
пример, валидация программного обеспечения представляет собой одобрение путем изучения и предоставления
объективных свидетельств того, что программное обеспечение удовлетворяет требования по безопасности,
предъ являемые к программному обеспечению.
Соответствие проверяютмоделированием:
-входныхсигналов, присутствующих в
нормальномрежиме работы;
-ожидаемых событий;
-нежелательныхусловий, требующих системныхдействий.
События, данные ирезультаты испытаний должны быть занесены впротокол.
Примечание 2— Примеры некоторыхтехнических приемов или средствдля выполнения этихтребований
показаны втаблице R.7.
Т а б л и ц а R.7 — Валидация безопасности программного обеспечения
Технические приемы или средстваСсылка на информацию
Испытания на функционирование и методом черного ящика:
- с анализом граничных значений;
- с моделированием процессов
IEC 61508-7, В.5.1, В.5.2
IEC 61508-7, С.5.4
IEC 61508-7, С.5.18
Моделирование:
-конечными автоматами
- для определения производительности
IEC 61508-7, В.2.3.2
IEC 61508-7, С.5.20
Пр и ме ч а н и е 3 — Испытания следует рассматривать как основной метод валидации программного обе
спечения, моделирование может использоваться в качестве дополнительного метода подтверждения.
126