ГОСТ Р МЭК 61508-3—2012
3При выборе соответствующих методов и средств (см. приложения А и В настоящего стандарта) для вы
полнения требований настоящего пункта должны быть рассмотрены следующие свойства (см. руководство по ин
терпретации свойств в приложении С настоящего стандарта и неформальные описания методов и средств в при ложении
F МЭК 6150&-7) проектирования и разработки:
- полнота спецификации требований к программному обеспечению системы безопасности;
- корректность спецификации требований к программному обеспечению системы безопасности;
- отсутствие собственных ошибок проекта;
- простота и ясность;
- предсказуемость поведения;
- поддающийся проверке и тестированию проект;
- отказоустойчивость / обнаружение неисправностей;
- отсутствие отказов по общей причине.
7.4.5.1 В зависимости от характера разработки программного обеспечения ответственность за
соответствие требованиям 7.4.4 может лежать на нескольких сторонах. Распределение ответственно
сти должно быть документально оформлено во время планирования системы безопасности (см. раз
дел 6 МЭК 61508-1).
7.4.5.2 До начала детального проектирования должна быть подготовлена следующая информа
ция; спецификация требований к Э/Э/ПЭ системе, связанной с безопасностью, описание проекта ар
хитектуры программного обеспечения, план подтверждения соответствия аспектов программного обе
спечения системы безопасности.
7.4.5.3 Программное обеспечение следует разрабатывать так. чтобы достигалась модульность,
тестируемость и способность к модификации системы безопасности.
7.4.5.4 Дальнейшее уточнение проекта для каждого главного элемента/’подсистемы в описании
проекта архитектуры программного обеспечения должно основываться на декомпозиции системы на
программные модули (то есть на спецификации проекта программной системы). Необходимо специфи
цировать проект каждого программного модуля и проверки этих модулей.
П ри м е чан и я
1 Об уже существующих элементах программного обеспечения см. 7.4.2.
2 Верификация состоит из тестирования и анализа.
7.4.5.5 Должны быть определены соответствующие проверки интеграции программной системы,
показывающие, что программная система соответствует требованиям к программному обеспечению
системы безопасности для заданного уровня полноты безопасности.
7.4.6 Требования к реализации исходных текстов программ
П р и м е ч ан и е — В соответствии с требуемым уровнем полноты безопасности исходный код должен об
ладать следующими свойствами (о конкретных методах см. приложенияА и В. руководящие указания по интерпре
тации свойств см. в приложении С к настоящему стандарту):
- быть читаемым, понятным и пригодным к проверке;
- соответствовать специфицированным требованиям к проекту программного модуля (см. 7.4.5);
- соответствовать специфицированным требованиям к стандартам составления программ (см. 7.4.4);
- соответствовать требованиям, определенным при планировании системы безопасности (см. раздел 6).
7.4.6.1Каждый модуль программного обеспечения должен быть просмотрен. Если код создан с
помощью автоматических средств, то он должен соответствовать требованиям 7.4.4. Если исходный
код состоит из повторно используемого уже существующего программного обеспечения, то он должен
соответствовать требованиям 7.4.2.
П р и м е ч ан и е — Просмотр кода относится к процессам верификации (см. 7.9). Просмотр кода может быть
выполнен с помощью контроля кода (в порядке увеличения строгости): 1) — человеком: 2) — сквозным контролем
программного обеспечения (см. С.5.15 приложения С МЭК 61508-7) или 3) — формальной проверкой (см. С.5.14
приложения С МЭК 61508-7).
7.4.7 Требования к тестированию программных модулей
П ри м е чан и я
1 Процесс проверки того, что программный модуль коррехтно выполняет все требования, содержащиеся в
спецификации тестирования, относится к процессам верификации (см. 7.9). Сочетание просмотра исходных тек
стов и тестирования программных модулей дает гарантию того, что программный модуль соответствует требова
ниям своей спецификации, то есть верифицирует модуль.
2 При выборе соответствующих методов и средств (см. приложения А и В настоящего стандарта) для вы
полнения требований настоящего пункта должны быть рассмотрены следующие свойства (см. руководство по ин-
27