7.5 Интеграция программируемой электроники (аппаратные средства и программное обеспечение)

     

     Примечания

     

     1 См. также таблицы А.6 (приложение А), В.3 и В.6 (приложение В).

     

     2 Эта стадия представлена на рисунке 3 (см. 9.4).

     

     

7.5.1 Öåëè

     

     7.5.1.1 Первой целью требований настоящего подраздела является интеграция программного обеспечения с используемой программируемой электронной аппаратурой.

     

     7.5.1.2 Второй целью требований настоящего подраздела является объединение программного обеспечения и аппаратных средств в программируемый электронный комплекс, связанный с безопасностью, проверка их совместимости и выполнения требований назначенного уровня полноты безопасности.

     

     Примечания

     

     1 Проверка корректности интеграции программного обеспечения с аппаратными средствами программируемой электроники относится к процессам верификации (см. 7.9).

     

     2 В зависимости от характера приложения эти проверки могут быть объединены с проверками, описываемыми в 7.4.8.

     

     

7.5.2 Требования

     

     7.5.2.1 Проверки интеграции должны быть определены на этапе проектирования и разработки, их целью является проверка совместимости программного обеспечения и аппаратных средств в программируемом электронном устройстве, связанном с безопасностью.

     

     Примечание - При разработке проверок интеграции может потребоваться тесная кооперация с разработчиком E/E/PES систем.

     

     

     7.5.2.2 Тесты интеграции для программируемой электроники (аппаратные средства и программное обеспечение) должны определять следующее:

     

     a) разбиение системы на уровни интеграции;

     

     b) тестовые примеры и тестовые данные;

     

     c) типы выполняемых проверок;

     

     d) условия тестирования, используемые инструменты, конфигурацию и программы;

     

     e) условия, при которых проверка считается выполненной.

     

     7.5.2.3 Тесты интеграции программируемой электроники (аппаратные средства и программное обеспечение) должны различать операции, которые выполняются разработчиком на его оборудовании, и операции, требующие доступа к пользовательскому оборудованию.

     

     7.5.2.4 Тесты интеграции программируемой электроники (аппаратные средства и программное обеспечение) должны различать следующие процессы:

     

     a) включение программного обеспечения в целевое программируемое электронное оборудование;

     

     b) интеграцию Е/Е/РЕ систем, т.е. добавление интерфейсов, таких как датчики и устройства привода;

     

     c) полную интеграцию EUC и Е/Е/РЕ систем, связанных с безопасностью.

     

     Примечание - Перечисления b) и с) охватываются МЭК 61508-1 и МЭК 61508-2, они включены в контекст перечисления а) для полноты.

     

     

     7.5.2.5 Программное обеспечение должно быть интегрировано с программируемой электронной аппаратурой, связанной с безопасностью, в соответствии со специфицированными тестами интеграции для программируемой электроники (аппаратные средства и программное обеспечение).

     

     7.5.2.6 При тестировании интеграции программируемой электроники, связанной с безопасностью (аппаратных средств и программного обеспечения), все модификации или изменения должны быть объектом анализа влияния, который должен определить, какие программные модули затрагиваются изменениями, и установить необходимость повторной верификации.

     

     7.5.2.7 Тестовые примеры и результаты их выполнения должны быть документированы для последующего анализа.

     

     7.5.2.8 Результаты проверки интеграции программируемой электроники (аппаратных средств и программного обеспечения) должны быть документированы, в документации должны быть сформулированы результаты проверки, а также указано, были ли выполнены цели и критерии проверки. Если тестирование окончилось неудачно, должны быть описаны причины этого. Все модификации или изменения, являющиеся результатом тестирования, должны быть объектом анализа влияния, который должен определить, какие программные модули затрагиваются изменениями, и установить необходимость повторной верификации и проектирования.