ADV_LLD.3 Формальный проект нижнего уровня

Зависимости
ADV_HLD.5	Формальный проект верхнего уровня
ADV_RCR.3	Формальная демонстрация соответствия
Элементы действий разработчика
ADV_LLD.3.1D	Разработчик должен представить проект нижнего уровня ФБО.
Элементы содержания и представления свидетельств
ADV_LLD.3.1C	Представление проекта нижнего уровня должно быть формальным.
ADV_LLD.3.2C	Проект нижнего уровня должен быть внутренне непротиворечивым.
ADV_LLD.3.3C	Проект нижнего уровня должен содержать описание ФБО в терминах модулей.
ADV_LLD.3.4C	Проект нижнего уровня должен содержать описание назначения каждого модуля.
ADV_LLD.3.5C	Проект нижнего уровня должен определить взаимосвязи между модулями в терминах предоставляемых функциональных возможностей безопасности и зависимостей от других модулей.
ADV_LLD.3.6C	Проект нижнего уровня должен содержать описание, как предоставляется каждая из функций, осуществляющих ПБО.
ADV_LLD.3.7C	Проект нижнего уровня должен идентифицировать все интерфейсы модулей ФБО.
ADV_LLD.3.8C	Проект нижнего уровня должен идентифицировать, какие из интерфейсов модулей ФБО являются видимыми извне.
ADV_LLD.3.9C	Проект нижнего уровня должен содержать описание назначения и методов использования всех интерфейсов модулей ФБО, предоставляя полную детализацию всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_LLD.3.10C	Проект нижнего уровня должен содержать описание разделения ОО на модули, осуществляющие ПБО, и прочие.
Элементы действий оценщика
ADV_LLD.3.1E	Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
ADV_LLD.3.2E	Оценщик должен сделать независимое заключение, что проект нижнего уровня - точное и полное отображение функциональных требований безопасности ОО.