ГОСТ Р МЭК 61508-3—2007
Приложение В
(обязательное)
Подробные таблицы
П р и м е ч а н и е — Ссылки указывают на подробные описания методов,’средств, приведенные в
МЭК 61508-7.
Т а б л и ц а В.1 — Стандарты для проектирования и кодирования (указанные в таблице А.4. приложение А)
Meтод/средст о ’1
СсылкаSIL1
SIL2SIL3SIL4
1 Использование стандартов кодирования
С.2.6.2HR
HRHRHR
2 Не использовать динамические объекты
С.2.6.3R
HRHRHR
За Не использовать динамические переменные
С.2.6.3
—
RHRHR
ЗЬ Проверка создания динамических переменных
при выполнении программы
С.2.6.4
-
RHRHR
4 Ограниченное использование прерываний
С.2.6.5R
RHRHR
5 Ограниченное использование указателей
С.2.6.6
—
RHRHR
6 Ограниченное использование рекурсии
С.2.6.7—
RHRHR
7 Не использовать безусловные переходы в про
граммах, написанных на языках высокого уровня
С.2.6.2R
HRHRHR
Ч Методы,’средетва следует выбирать в соответствии с уровнем полноты безопасности. Альтернативные
или эквивалентные методы/мероприятия обозначаются буквами, следующими за числом. Следует выполнять
только один из альтернативных или эквивалентных методов/мероприятий.
П р и м е ч а н и е — Не требуется применять методы 2 и За. если используют компилятор, который га
рантирует выделение достаточного количества памяти для всех динамических переменных и объектов до нача ла
выполнения программы либо вставляет проверки корректного выделения памяти в процессе выполнения.
Т а б л и ц а В.2 — Динамический анализ и проверка (упоминаемые в таблицах А.5 и А.9. приложение А)
Метод’средство’1СсылкаSIL1SIL2SIL3SIL4
1 Выполнение контрольного примера, начиная сС.5.4RHRHRHR
анализа граничных значений
2 Выполнение контрольного примера, начиная с обС.5.5RRRR
наружения ошибки
3 Выполнение контрольного примера, начиная сС.5.6
-
RRR
внесения ошибки
4 Модепироаание характеристикC.S.20RRRHR
5 Разделение входных данных на классы эквиваС.5.7RRRHR
лентности
6 Структурное тестированиеС.5.8RRHRHR
Ч Методы/средства следует выбирать в соответствии с уровнем полноты безопасности.
П р и м е ч а н и е — Анализ с использованием тестовых примеров проводят на уровне подсистем, он
основывается на спецификациях и/ипи спецификациях и текстах программ
34