ГОСТ Р МЭК 61508-3—2012
c) Все эксплуатационные параметры должны быть проверены по отношению к требованиям при
менения.
d) Все промышленные интерфейсы и соответствующее программное обеспечение [датчики и ис
полнительные устройства, а также автономные интерфейсы (см. 7.2.2.12)] должны быть проверены на:
1) выявление предполагаемых отказов интерфейса,
2) устойчивость по отношению к предполагаемым отказам интерфейса.
e) Все коммуникационные интерфейсы и соответствующее программное обеспечение должны
быть проверены на наличие адекватного уровня:
1) обнаружения ошибок.
2) защиты от повреждения;
3) подтверждения соответствия данных.
7.9.2.14Верификация временных характеристик: должна быть проверена предсказуемость по
ведения во времени.
П р и м е ч ан и е — Поведение во времени может определяться: производительностью средств, наличием
ресурсов, временем реакции, временем выполнения в наихудшем случае, случаями переполнения памяти, слу
чайными зависаниями, временем работы системы.
8 Оценка функциональной безопасности
П р и м е ч ан и е — При выборе соответствующих методов и средств (см. приложения А и В настоящего
стандарта) для выполнения требований настоящего раздела должны быть рассмотрены следующие свойства (см.
руководство по интерпретации свойств в приложении С настоящего стандарта и неформальные описания методов и
средств в приложении F МЭК 61508-7) оценки функциональной безопасности:
- полнота оценки функциональной безопасности в соответствии с требованиями настоящего стандарта;
- корректность оценки функциональной безопасности в соответствии с проектными спецификациями (успеш
ное завершение):
- доступное для анализа решение всех выявленных проблем;
- возможность модификации оценки функциональной безопасности после изменения проекта без необходи
мости проведения серьезной переработки оценки;
- воспроизводимость;
- своевременность;
- точно определенная конфигурация.
8.1 Цели и требования раздела 8 МЭК 61508-1 относятся к оценке программного обеспечения,
связанного с безопасностью.
8.2 Если иное не оговорено в стандартах на область применения, то минимальный уровень неза
висимости для лиц. выполняющих оценку функциональной безопасности, должен быть определен по
разделу 8 МЭК 61508-1.
8.3 Оценка функциональной безопасности может использовать результаты процессов, приведен
ных в таблице А. 10 (приложение А).
П р и м е ч ан и е — Выбор методов, приведенных в приложенияхА и В. не гарантирует, что будет достигнута
необходимая полнота безопасности (см. 7.1.2.7).
Л
ицо, проводящее оценку, должно также рассмотреть:
- совместимость и взаимное дополнение выбранных методов, языков и инструментальных средств для всего
цикла разработки:
- полностьюли разработчики понимают методы, языки иинструментальныесредства, которыеони используют;
- насколько хорошо адаптированы методы, языки и инструментальные средства к конкретным проблемам, с
которыми приходится сталкиваться при разработке.
37