ГОСТ Р МЭК 61508-3—2012
7.4.1 Цели
7.4.1.1 Первой целью требований настоящего подраздела является создание такой архитектуры
программного обеспечения, которая соответствовала бы заданным требованиям к программному обес
печению. связанному с безопасностью, в отношении необходимого уровня полноты безопасности.
7.4.1.2 Второй целью требований настоящего подраздела является оценка требований, предъ
являемых к программному обеспечению со стороны архитектуры аппаратных средств Э/Э/ПЭ системы,
связанной с безопасностью, включая значение взаимодействия между аппаратными средствами и про
граммным обеспечением Э/Э/ПЭ систем для обеспечения безопасности управляемого оборудования.
7.4.1.3 Третьей целью требований настоящего подраздела является выбор подходящего набора
инструментальных средств, включая языки программирования и компиляторы, интерфейсы системы
времени выполнения, интерфейсы пользователя и форматы и представления данных, который соот
ветствовал бы заданному уровню полноты безопасности на протяжении всего жизненного цикла про
граммного обеспечения системы безопасности и способствовал бы выполнению процессов верифика
ции. подтверждения соответствия, оценки и модификации.
7.4.1.4 Четвертой целью требований настоящего подраздела является проектирование и реали
зация программного обеспечения, которое соответствовало бы специфицированным требованиям к
программному обеспечению, связанному с безопасностью, для необходимого уровня полноты безопас
ности. Это программное обеспечение должно быть пригодным для анализа и верификации и обладать
способностью к безопасной модификации.
7.4.1.5 Пятой целью требований настоящего подраздела является проверка выполнения требо
ваний к программному обеспечению, связанному с безопасностью (в отношении необходимых функций
безопасности и стойкости к систематическим отказам программного обеспечения).
7.4.1.6 Шестой целью требований настоящего подраздела является гарантирование, в той мере,
насколько это уместно, того, что конфигурирование данными ПЭ систем соответствует указанным в на
стоящем подразделе требованиям стойкости к систематическим отказам программного обеспечения.
7.4.2 Общие требования
7.4.2.1 В зависимости от природы процесса разработки программного обеспечения ответствен
ными за соответствие требованиям 7.4 могут быть: или только поставщик связанного с безопасностью
программного окружения (например, поставщик PLS), или только пользовательэтого окружения (напри
мер. разработчик прикладных программ), или поставщик и пользователь. Распределение ответствен
ности должно быть определено во время планирования системы безопасности (см. раздел 6).
П р и м е ч ан и е — О характеристиках системы и архитектуры программного обеспечения,для которых необ
ходима определенность при выборе подразделения, ответственного за соответствие требованиям 7.4. см. 7.4.3.
7.4.2.2 В соответствии с требуемым уровнем полноты безопасности и конкретными техническими
требованиями к функции безопасности выбранный метод проектирования должен обладать характери
стиками. которые облегчают:
a) абстрактное представление, разделение на модули и другие характеристики, контролирующие
уровень сложности;
b
) выражение:
1) выполняемых функций;
2) обмена данными между элементами:
3) информации, относящейся к последовательности и времени выполнения программ;
4) ограничений синхронизации:
5) параллельного и синхронизированного доступа к совместно используемым ресурсам;
6) структур данных и их свойств;
7) проектных предположений и их зависимостей;
8) обработки исключений;
9) проектных предположений (предварительных условий, постусловий, инвариантов);
10) комментариев;
c) возможность описания нескольких представлений проекта, включая представление структуры
и представление поведения;
d) понимание разработчиками идругими лицами, которые должны иметь дело с проектом;
в) верификацию и оценку соответствия.
7.4.2.3 Тестируемость и способность к модификации системы безопасности должны быть преду
смотрены на этапе проектирования для того, чтобы облегчить реализацию этих характеристик в окон
чательной версии системы, связанной с безопасностью.
18