ГОСТ Р МЭК 61511-1—2011
- доказательстве удовлетворительного функционирования в аналогичном случае применения, для
которого было продемонстрировано, что оно имеет аналогичную функциональность, или для него были
применены такие же процедуры проверки и подтверждения соответствия, какидля вновь разрабатываемо го
ПО (см. 11.5.4 и 11.5.5).
П р и м е ч а н и е — Такое обоснование может быть разработано в процессе планирования безопасности
(см. раздел 6).
12.4.2.7Документация на прикладную программу (или другая связанная с ней документация)должна
содержать, как минимум, информацию по следующим вопросам:
a) о правообладателе (например, компания, авторы):
b
) описание:
c)о прослеживаемости при анализе прикладныхфункциональных требований:
d) об используемых логических соглашениях,
e) об используемых стандартных библиотечных функциях;
f) о входных и выходных данных;
д) об управлении конфигурацией, включая историю изменений.
12.4.3 Требования к архитектуре ППО
12.4.3.1 Проект архитектуры ППОдолжен базироваться на спецификации требований к безопасности
ПСБ и учитывать ограничения на структуру ПСБ. Этот проект должен быть согласован также с требова
ниями проекта выбранной подсистемы, набором ее средств и руководством по безопасности.
П р и м е ч а н и я
1 Архитектура ПО определяет основные компоненты и подсистемы системного и ППО. их взаимосвязь,
способ реализации необходимых характеристик и. в частности, полноты безопасности. Примерами модулей сис
темного ПО являются операционные системы, базы данных, подсистемы передачи данных. Примеры модулей
ППО включают программные реализации прикладных функций, реплицированные по всему предприятию.
2 Архитектура ППО должна определяться также структурой подсистем ПСБ. получаемых от поставщика.
12.4.3.2 Описание проекта архитектуры ППОдолжно:
a) обеспечивать исчерпывающее описание внутренней структуры и функционирования подсистем
ПСБ и их компонентов;
b
) включать спецификацию всех установленных компонентов (технических и программных) и описа
ние соединений и взаимовлияний между ними;
c) устанавливать программные модули, включенные в подсистему ПСБ. но не используемые ни од
ной функцией безопасности ПСБ;
d) описывать порядок логической обработки данных подсистемами ввода-вывода и функциональные
возможности логического устройства, включая любые временные ограничения;
е) устанавливать все функции ПСБ, не связанные с безопасностью, и обеспечивать, чтобы они не
могли повлиять на правильное выполнение любой функции безопасности ПСБ.
П р и м е ч а н и е — Особенно важно, чтобы документация по архитектуре ПО была актуальна и полна в
отношении подсистем ПСБ.
12.4.3.3 Должен быть установлен набор методов и средств, применяемых для разработки ППО. а
также должен бытьобоснован их выбор.
П р и м е ч а н и е — Такие методы и средства должны быть направлены на то. чтобы обеспечить:
- предсказуемость поведения подсистемы ПСБ;
- отказоустойчивость (согласованную с аппаратными средствами) и предотвращение отказов, в том числе
за счет резервирования и разнообразия.
12.4.3.4 Методы и средства, применяемые при проектировании ППО. должны быть согласованы со
всеми ограничениями, установленными в руководстве по безопасности подсистемы ПСБ.
12.4.3.5 Свойства, используемые для поддержания полноты безопасности всехданных,должны быть
описаны и обоснованы. Такие данные могут включать входные и выходные данные установки, коммуника
ционные данные, эксплуатационные данные, данные обслуживания и данные, хранящиеся во внутренних
базах данных.
49