ГОСТРМЭК 62138—2010
5.5.2 Конфигурация программного обеспечения и устройств, содержащих программное
обеспечение
Требование настоящего пункта является специфичным для конфигурации настраиваемого про
граммногообеспечения. Такое программноеобеспечениеможетбытьранееразработанным или новым.
Требование также применимо к конфигурации настраиваемых устройств с встроенным программным
обеспечением. Тем не менее, если данные конфигурации представляют собой выполняемую програм
мным обеспечением или системой обработку (т.е. когда они фактически являются программой), то
применяются требования 5.5.3.
1Конфигурация настраиваемого программного обеспечения иустройств с встроенным програм
мным обеспечениемдолжна быть оформленадокументально.
5.5.3 Реализация с помощью проблемно-ориентированных языков
Требования настоящего пункта специфичны для программ, написанных на проблемно-ориентиро
ванныхязыках. Вобщемслучавдля отражения всей или частиспецификациитребованийк программно
му обеспечению или спецификации проекта программного обеспечения могут использоваться
проблемно-ориентированные форматы (такие, как логические диаграммы или блок-схемы функций).
При этом необходимы только ограниченныйдетальный проект и некоторые усилия по реализации пре
образования спецификации в программы, которые могут бытьавтоматически транслированы врабочую
программу.
1 Те части спецификации требований к программному обеспечению и/или спецификации проекта
программного обеспечения, которые используются для получения рабочей программы с помощью
средств автоматизации, должны рассматриваться как программы, написанные на проблемно-ориенти
рованныхязыках.
2 Программы, написанные на проблемно-ориентированных языках, которые связаны с функция
ми. важными для безопасности, должны быть верифицированы на функциональную корректность и
согласованность.
5.5.4 Реализация с помощью универсальных языков
Требование настоящегопункта является специфичнымдля программ, написанныхнауниверсаль
ных языках.
4 Программы, написанные на универсальных языках, должны соответствовать документально
оформленным правилам, обеспечивающим четкость, возможность модификации итестируемость.
Набор правил может бытьспецифичным для языка или набора программ.
5.6 Программные аспекты интеграции системы
Интеграция программного обеспечения рассматривается как часть интеграции системы. Настоя
щий подразделдополняет6.1.4 и 6.2.3 МЭК61513, устанавливая следующие дополнительные требова
ния. специфичные или особенно важныедля программногообеспечения:
1 Интеграция программного обеспечения и/или его анализ должны показать, что интегрирован
ные система ипрограммное обеспечение:
- соответствуюттем положениям проекта, которые обеспечиваютвыполнение указанийспецифи
кации требований к программномуобеспечению, определенных в качестве важныхдля безопасности;
- соответствуютограничениям, изложеннымв спецификациитребованийкпрограммномуобеспе
чению, касающимся его корректности иработоспособности.
3 Интеграция программного обеспечения должна быть выполнена согласно положениям плана
интеграции системы или плана интеграции программного обеспечения.
4 Должны быть составлены отчеты по выполнению плана, используемого для интеграции про
граммного обеспечения, например, результаты тестирований. В случае необходимости проведения
модификации программного обеспечения или системы должна иметься возможность повторения всех
или части интеграционныхтестированийдля оценки степени возможных изменений в работе.
5.7 Программные аспекты валидации системы
Цельвалидациипрограммногообеспечениясостоитв обеспечениисоответствияинтегрированно
го программного обеспечения функциональной спецификации, а также спецификаций характеристик и
интерфейса, определяемых требованиями к СКУ. Таким образом, валидация программного обеспече
ния рассматривается как часть валидации системы. Настоящий подраздел дополняет 6.1.5 и 6.2.4
МЭК61513. выдвигая следующиедополнительные требования, специфичныеили особенноважныедля
программногообеспечения:
18