ГОСТ Р МЭК 61508-3—2012
3Хотя систематическая полнота безопасности обычно количественно не определяется (см. пункт 3.5.6
МЭК 61508-4), определенные количественно статистические данные (например, статистическое тестирование, по
вышение надежности) являются приемлемыми, если удовлетворены все соответствующие условия для статисти
чески достоверного доказательства. Например, см. приложение D МЭК 61508-7.
7.4.8.4 Результаты проверки интеграции программного обеспечения должны быть документально
оформлены: в документации должны быть сформулированы результаты проверки и должно быть ука
зано. были ли выполнены цели и критерии проверки. Если тестирование окончилось неудачно, должны
быть описаны причины.
7.4.8.5 При интеграции программного обеспечения все модификации должны быть объектом ана
лиза влияния, который должен определить, какие программные модули затрагиваются изменениями, и
установить необходимость повторной верификации и проектирования.
7.5Интеграция программируемой электроники (аппаратных средств и программного
обеспечения)
П р и м е ч ан и е — Эта стадия представлена на рисунке 4 (см. Блок 10.4).
7.5.1 Цели
7.5.1.1 Первой целью требований настоящего подраздела является интеграция программного
обеспечения с используемой программируемой электронной аппаратурой.
7.5.1.2 Второй целью требований настоящего подраздела является объединение программного
обеспечения и аппаратных средств в программируемый электронный комплекс, связанный с безопас
ностью. проверка их совместимости и выполнения требований назначенного уровня полноты безопас
ности.
П ри м е чан и я
1 Проверка корректности интеграции программного обеспечения с аппаратными средствами программируе
мой электроники относится к процессам верификации (см. 7.9).
2 В зависимости от характера применения эти проверки могут быть объединены с проверками по 7.4.8.
7.5.2 Требования
П р и м е ч ан и е — При выборе соответствующих методов и средств (см. приложения А и В настоящего
стандарта) для выполнения требований настоящего пункта должны быть рассмотрены следующие свойства (см.
руководство по интерпретации свойств в приложении С настоящего стандарта и неформальные описания методов и
средств в приложении F МЭК 61508-7) интеграции:
- полнота интеграции в соответствии со спецификациями проекта;
- корректность интеграции в соответствии со спецификациями проекта (успешное выполнение);
- воспроизводимость;
- точно определенная конфигурация интеграции.
7.5.2.1Проверки интеграции должны быть определены на этапе проектирования и разработ
ки (см. 7.4.3). их целью является проверка совместимости программного обеспечения и аппаратных
средств в программируемом электронном устройстве, связанном с безопасностью.
П р и м е ч ан и е — При разработке проверок интеграции может потребоваться тесная кооперация с разра
ботчиком Э/Э/ПЭ системы.
7.5.2 2 Спецификация тестов интеграции для программируемойэлектроники (аппаратныхсредств
и программного обеспечения) должна определять;
a) разбиение системы на уровни интеграции;
b
) тестовые примеры и тестовые данные:
c) типы выполняемых проверок;
d) условия тестирования, включая инструменты, программы поддержки и описание конфигурации;
e) условия, при которых проверка считается выполненной.
7.5.2.3 Тесты интеграции программируемой электроники (аппаратных средств и программного
обеспечения) должны различать операции, выполняемые разработчиком на его оборудовании, и опе
рации. требующие доступа к пользовательскому оборудованию.
7.5.2.4 Тесты интеграции программируемой электроники (аппаратных средств и программного
обеспечения) должны различать следующие процессы;
а)включение программного обеспечения в целевое программируемое электронное оборудова
ние;
29