ADV_HLD.5 Формальный проект верхнего уровня

Зависимости
ADV_FSP.4	Формальная функциональная спецификация
ADV_RCR.3	Формальная демонстрация соответствия
Элементы действий разработчика
ADV_HLD.5.1D	Разработчик должен представить проект верхнего уровня ФБО.
Элементы содержания и представления свидетельств
ADV_HLD.5.1C	Представление проекта верхнего уровня должно быть формальным.
ADV_HLD.5.2C	Проект верхнего уровня должен быть внутренне непротиворечивым.
ADV_HLD.5.3C	Проект верхнего уровня должен содержать описание структуры ФБО в терминах подсистем.
ADV_HLD.5.4C	Проект верхнего уровня должен содержать описание функциональных возможностей безопасности, представленных каждой подсистемой ФБО.
ADV_HLD.5.5С	Проект верхнего уровня должен идентифицировать все базовые аппаратные, программно-аппаратные и/или программные средства, требуемые для реализации ФБО, с представлением функций, обеспечиваемых поддержкой механизмов защиты, реализуемых этими средствами.
ADV_HLD.5.6C	Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем ФБО.
ADV_HLD.5.7C	Проект верхнего уровня должен идентифицировать, какие из интерфейсов подсистем ФБО являются видимыми извне.
ADV_HLD.5.8C	Проект верхнего уровня должен содержать описание назначения и методов использования всех интерфейсов подсистем ФБО, обеспечивая полную детализацию всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_HLD.5.9C	Проект верхнего уровня должен содержать описание разделения ОО на подсистемы, осуществляющие ПБО, и прочие.
ADV_HLD.5.10C	Проект верхнего уровня должен содержать строгое обоснование, что идентифицированный способ выполнения разделения, в том числе любых механизмов защиты, достаточен для обеспечения четкого и эффективного отделения функций, осуществляющих ПБО, от функций, не участвующих в осуществлении ПБО.
ADV_HLD.5.11C	Проект верхнего уровня должен содержать строгое обоснование, что механизмы ФБО достаточны для реализации функций безопасности, идентифицированных в проекте верхнего уровня.
Элементы действий оценщика
ADV_HLD.5.1E	Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
ADV_HLD.5.2E	Оценщик должен сделать независимое заключение, что проект верхнего уровня - точное и полное отображение функциональных требований безопасности ОО.