ГОСТ Р МЭК 61508-3—2007
П р и м е ч а н и е — Требования 7.7.2.2 — 7.7.2.S основываются на общих требованиях МЭК 61508-1
{пункт 7 14).
7.7.2.6Подтверждение соответствия программного обеспечения, связанного с безопасностью,
должно удовлетворять следующим требованиям:
a) основным методом подтверждения соответствиядля программногообеспечениядолжно быть
тестирование: анимацию и моделирование допускается использовать как дополнительные методы.
b
) прогон программного обеспечения должен выполняться путем имитации:
- входных сигналов в нормальном режиме работы.
- предполагаемых случаев.
- нежелательных условий, требующих вмешательства системы,
c) поставщик и/или разработчикдолжны предоставить документированные результаты подтвер
ждения соответствия безопасности программного обеспечения и всю имеющую отношение к этой опе
рации документацию в распоряжение разработчика системы для того, чтобы дать ему возможность
выполнить требования МЭК 61508-1 и МЭК 61508-2.
7.7.27 К качеству программных средств предъявляют следующие требования:
a) все программные средства, используемые при подтверждении соответствия, должны быть
квалифицированы в соответствии со спецификациями, разработанными на основе международного
стандарта (если таковой имеется) или национального стандарта (если таковой имеется), либо в соответ
ствии с общепринятой процедурой;
b
) оборудование, используемое при подтверждении соответствия, должно быть соответствую
щим образом квалифицировано, должна быть продемонстрирована пригодность для подтверждения
соответствия всех используемых программных и аппаратных средств.
П р и м е ч а н и е — В настоящем стандарте квалификация представляет собой операцию, которая демон
стрирует выполнение конкретной спецификации, в отличие от базовых процедур проверки соответствия, которые
могут использоваться по отношению к любой спецификации.
77.2.8 К результатам подтверждения соответствия программного обеспечения предъявляются
следующие требования:
a) проверки должны показать, что все требования, предъявляемые к безопасности программного
обеспечения (см. 7.2). выполняются правильно ичто программная система не выполняет непредусмот
ренных функций:
b
) тестовыепримеры и их результатыдолжны бытьдокументированы для последующего анализа
и независимой экспертизы в соответствии с требованиями уровня полноты безопасности (МЭК61508-1.
пункт 8.2.12);
c) документированные результаты подтверждения соответствия безопасности программного
обеспечения должны содержать утверждение о том. что программа прошла подтверждение соответ
ствия. либо причины, по которым она не прошла его.
7.8Модификация программного обеспечения
П р и м е ч а н и я
1 См. также таблицу А.8 (приложение А).
2 Эта стадия представлена на рисунке 3 (см. 9.5).
7.8.1 Цели
Целью требований настоящего подраздела является внесение корректировок, улучшений или
изменений в принятое программное обеспечение, гарантирующих сохранение уровня полноты безо
пасности программного обеспечения.
П р и м е ч а н и е — В настоящем стандарте программное обеспечение (в отличие от аппаратного обеспече
ния) не может поддерживаться, оно всегда модифицируется.
7.8.2 Требования
7.8.2.1Перед выполнением какой-либо модификации программного обеспечения должны быть
подготовлены процедуры модификации (МЭК 61508-1. пункт 7.16).
П р и м е ч а н и я
1 Требования 7.8.2.1 — 7.8.2.9 относятся, в первую очередь, к изменениям, выполняемым на этапе работы
программного обеспечения. Они могут также применяться во время интеграции программируемой электроники, а
также во время общей установки и ввода в эксплуатацию (МЭК 61508-1. пункт 7.13).
2 Пример модели процедуры модификации приведен в МЭК 61508-1 (рисунок 9).
23