ГОСТ Р МЭК 61508-4—2007
П р и м е ч а н и я
1 Термин «жизненный цикл систем функциональной безопасности* является более строгим иточным, одна
ко прилагательное «функциональной» не является обязательным в данном случае в контексте настоящего стан
дарта.
2 Модели жизненного цикла систем безопасности, использованные в настоящем стандарте, приведены в
МЭК 61508-1 (рисунки 2—4).
3.7.2
жизненный цикл программного обеспечения (software lifecycle): Процессы, происходя
щиее течениепериодавремени, которыйначинаетсяспоявления общей концепциипрограммногообес
печенияизаканчивается, когдапрограммноеобеспечениеокончательноперестаетэксплуатироваться.
П р и м е ч а н и я
1 Обычно жизненный цикл программного обеспечения включает в себя стадии разработки требований, раз
работки программного обеспечения, тестирования, интеграции, установки, а также стадию модификации.
2 Программное обеспечение не может поддерживаться, точнее сказать, оно модифицируется.
3.7.3
управление конфигурацией (configuration management): Дисциплина идентификации ком
понентов системы, для осуществления контролируемых изменений компонентов этой системы и для
поддержания преемственности и прослеживания компонентов системы на протяжении всегожизненно го
цикла.
П р и м е ч а н и е — Более подробное описание управления конфигурацией приведено в МЭК 61508-7
(пункт С.5.24).
3.7.4
анализ влияния (impact analysis): Определение влияния, которое оказывает изменение в
функцииили вкомпонентесистемынадругие функцииили компонентыэтойсистемы, а такжедругихсис
тем.
П р и м е ч а н и е — В контексте программного обеспечения см. МЭК 61508-7 (пункт С.5.23).
3.8 Подтверждение мер безопасности
3.8.1
верификация (verification): Подтверждение выполнения требований путем исследования и
сбора объективных свидетельств.
П р и м е ч а н и я
1 Адаптировано из ИСО 8402 путем исключения примечаний.
2 В контексте настоящего стандарта верификация представляет собой выполняемую для каждой стадии
жизненного цикла соответствующей системы безопасности (общей. E/EVPES систем и программного обеспечения)
путем анализа и^или тестирования демонстрацию того, что для используемых входных данных компоненты удов
летворяют во всех отношениях набору задач и требований для соответствующей стадии.
ПРИМЕР — Процесс верификации включает в себя:
-
просмотр выходных данных (документов, относящихся ко всем стадиям жизненного
цикла систем безопасности) для того, чтобы убедиться в соответствии задачам и требо
ваниям соответствующей стадии, с учетом конкретных входных данных для этой стадии;
- просмотр проектов:
- тестирование проектируемых продуктов для того, чтобы убедиться, что они работают в
соответствии с их спецификациями;
- проверка интеграции, реализуемая внешними тестами, для всех систем, образующихся поком
понентным добавлением к исходной системе, и необходимая для того, чтобы убедиться, что все ком
поненты работают вместе в соответствии со спецификацией.
3.8.2
подтверждение соответствия (validation): Подтверждение соответствия требованиям
путем испытаний и представления объективных свидетельств, выполнения конкретных требований к
предусмотренному конкретному использованию.
П р и м е ч а н и я
1 Адаптировано из ИСО 8402 путем исключения примечаний.
2 В настоящем стандарте имеется три фазы подтверждения соответствия:
- подтверждение соответствия общей системы безопасности (МЭК 61508-1 (рисунок2)).
- подтверждение соответствия E/E/PES системы (МЭК 61508-1 (рисунок3».
- подтверждение соответствия программного обеспечения (МЭК 61508-1 (рисунок4)).
3 Подтверждение соответствия представляет собой демонстрацию того, что рассматриваемая система,
связанная с безопасностью, до или после установки удовлетворяет вовсех отношенияхспецификации требований к
безопасности для этой системы. Следовательно, например, подтверждение соответствия программного обеспе
чения означает подтверждение путем испытаний исбора объективныхсеидетельств того, что программное обеспе
чение удовлетворяет спецификации требований к безопасности программного обеспечения.
14