ГОСТ Р МЭК 62138—2010
гноэной информации, содержащейся в соответствующей до
к
ументации по безопасности (см.
требование 5. подпун
к
т 6.2.1.2).
4 В специфи
к
ации прое
к
та программного обеспечения и в до
к
ументации по прое
к
тированию
системы должны быть установлены иобоснованымеры, предпринимаемыедляуменьшениявлияния
известных иожидаемыхрежимов от
к
азов любогоранее разработанного программного обеспечения
или устройства со встроенным программным обеспечением, для
к
оторых использованы дополни
тельные мерыпо подтверждению
к
орре
к
тности (см. 6.2.2.1).
5 В специфи
к
ации прое
к
та программного обеспечения должны быть установлены правила
реализации программного обеспечения. В частности, должны быть установлены правила
к
онфигу
рирования ииспользованияранее разработанного программного обеспечения стом. чтобы обеспе
чить использование этого программного обеспечения
к
онтролируемым образом, согласующимся с
соответствующей до
к
ументацией по безопасности.
6 Специфи
к
ацияпрое
к
та программного обеспечения должна в
к
лючать в себя детальный про
е
к
т любого нового программного обеспечения,реализованного на универсальном язы
к
е. В специфи
к
ации
к
омпонента та
к
ого программного обеспеченияследует у
к
азывать:
- фун
к
ции, обеспечиваемые
к
омпонентами с их взаимосвязями, ролями, типами, форматами,
диапазонами иограничениями для входов ивыходов сигналов об аномальном состоянии, данных
к
он
фигурации:
- рабочиехара
к
теристи
к
и, например,время от
к
ли
к
а, точность (если это необходимо);
- требования
к
омпонентов
к
ихо
к
ружению,например,потребность вдинамичес
к
ираспределя
емой памяти, ресурсам операционнойсистемы и т.п. (еслиэто необходимо):
- любаядругая информация, о
к
оторой пользователи
к
омпонента должны быть осведомлены:
- любые важные ограниченияпореализации.
6.4.4 Свойства
1 В специфи
к
ациипрое
к
та программного обеспечениядолженбыть чет
к
о ияснопредставлен
прое
к
т программного обеспечения. Формат и синта
к
сис, используемые в специфи
к
ации прое
к
та,
должны способствовать этой чет
к
ости иясности.
Основнойподходможет базироваться на принципе «сверху— вниз», но не
к
оторые до
к
ументы
могут та
к
же содержать информацию,
к
оторая обращает внимание на особо важные аспе
к
ты
(например,устойчивость
к
от
к
азам), учитываемые во всем программном обеспечении или СКУ.
6.5 Реализация нового программного обеспечения
6.5.1 Общие требования
Требования настоящего пункта применимы ко всему новому программному обеспечению, т.е. к
конфигурации ранее разработанного программного обеспечения и программам, написанным на про
блемно-ориентированных или универсальных языках.
1 Использование ранее разработанного программного обеспечениядолжно быть верифицирова
но на соответствие документации по безопасности и ограничениям, установленным спецификацией
проекта программного обеспечения.
2 Процедуры, используемыедля трансляции новыхпрограмм в рабочую программу, должны быть
оформлены документально иверифицированы.
3 Обновлениерабочейпрограммы после внесенияизмененийвпрограммы должно быть выпол
нено. по возможности, автоматизированными средствами.
6.5.2 Конфигурация программного обеспечения и устройств, содержащих программное
обеспечение
Требование настоящего пункта является специфичным для конфигурации настраиваемого про
граммногообеспечения. Такое программноеобеспечение может бытьранееразработаннымили новым.
Данное требование также применимо к конфигурации настраиваемых устройств со встроенным про
граммным обеспечением. Тем не менее, еслиданные конфигурации представляютсобой выполняемую
программным обеспечением или системойобработку(т.е. когдаонифактически являются программой),
то применяюттребования 6.5.3.
1 Конфигурация настраиваемого программного обеспечения и устройств с встроенным програм
мным обеспечением должна бытьоформленадокументально.
6.5.3 Реализация с помощью проблемно-ориентированных языков
Требования настоящего пункта являются специфичными для программ, написанных на проблем
но-ориентированныхязыках. В общемслучаедляотражениявсей или части спецификациитребованийк
программному обеспечению или спецификации проекта программного обеспечения могут ислользо-
31