ГОСТ Р МЭК 61508-3—2007
- обмена данными между компонентами,
- информации, относящейся к последовательности и времени выполнения,
- ограничений на время выполнения,
- параллельного выполнения,
- структур данных и их свойств.
- проектных предположений и их зависимостей;
c) понимание разработчиками и другими лицами, которые должны иметь дело с проектом;
d) верификацию и оценку соответствия.
П р и м е ч а н и е — См. также таблицы А.1 — А.10 (приложение А) и таблицы В.1 — в.10 (приложение В).
7.4.2.3 Тестируемость испособностьк безопасной модификациидолжны быть предусмотрены на
этапе проектированиядля того, чтобы облегчить реализацию этих характеристик в окончательной вер
сии системы, связанной с безопасностью.
П р и м е ч а н и е — Примеры включают в себя эксплуатационные режимы в машиностроении и на обраба
тывающих предприятиях.
7.4.2.4 Выбранный метод проектированиядолженобладатьхарактеристиками, которые облегча
ют модификацию программногообеспечения. Кчислу таких характеристикотносят модульность, скры
тие информации и инкапсуляцию.
7.4.2.5 Представление проекта должно основываться на нотации, которая является однозначно
определенной или ограничена до однозначно определенных свойств.
7.4.2.6 Проектдолжен минимизировать настолько, насколькоэто возможно, тучастьпрограммно
го обеспечения, которая относится к безопасности.
7.4.2.7 Если программное обеспечение должно реализовать функции как относящиеся, так и не
относящиеся к безопасности, оно в целом должно рассматриваться как относящееся к безопасности,
если только в проекте не продемонстрирована достаточная независимость между этими функциями.
7.4.2.8 Если программное обеспечение должно реализовать функции безопасности, имеющие
различный уровень полноты безопасности, то следует считать, что все программное обеспечение име ет
наивысший среди этих уровней, если только в проекте не будет продемонстрирована достаточная
независимость функций, имеющих различный уровень полноты безопасности. Обоснование независи
мости должно быть документировано.
П р и м е ч а н и е — Уровень полноты безопасности программного обеспечения должен быть не ниже чем
уровень полноты функции безопасности, «которой оно относится. Однако уровень полноты безопасности компонен та
программного обеспечения может быть ниже, чем уровень полноты функции безопасности, к которой он относит ся.
если этот компонент испопьзуется в сочетании с другими аппаратными компонентами, такими, что уровень пол ноты
безопасности сочетания компонентов, по меньшей мере, равен уровню полноты безопасности функции
безопасности.
7.4.2.9 В той степени, насколько это возможно, проект должен включать функции, выполняющие
проверки и все диагностические тесты для того, чтобы обеспечить соблюдение требований к полноте
безопасности Е/Е/РЕ системы, связанной с безопасностью (как установлено в МЭК 61508-2).
7.4.2.10 Проект программного обеспечения должен включать соразмерно требуемому уровню
полноты безопасности средства самоконтроля потоков управления и потоков данных. При обнаруже
нии ошибки должны быть выполнены соответствующие действия (см. таблицы А.2 и А.4 (приложе
ние А)].
7.4.2.11 Если стандартное или ранее разработанное программное обеспечение должны исполь
зоваться как часть проекта (см. таблицыА.З иА.4 (приложениеА)], онидолжны бытьчетко идентифици
рованы. Способность программного обеспечения удовлетворять требованиям спецификации по
отношению к безопасности программных систем (см. 7.2) должна быть обоснована. Эта способность
должна основываться на данных по удовлетворительной работе в схожем приложении или быть пред
метом техже самых процедур верификации и подтверждения соответствия, которые подразумеваются
для любого вновь разрабатываемого программного обеспечения. Следует оценить ограничения, свя
занные с условиями, в которых работало программное обеспечение (например, зависимость от опера
ционной системы и компилятора).
П р и м е ч а н и е — Такое обоснование может быть разработано при ппанироаанми безопасности (см. раз
дел 6).
7.4.2.12 Настоящий подраздел (7.4) должен в той мере, насколько это возможно, применяться к
данным, включая любой язык генерации данных.
16