ГОСТ Р ИСО/МЭК 15408-2-2013
Рисунок J.1 - Декомпозиция класса FPT «Защита ФБО» (продолжение)
J.1 Безопасность при сбое (FPT_FLS)
J.1.1 Замечания для пользователя
Требования семейства FPT_FLS обеспечивают, чтобы 00 всегда осуществлял ФТБ при сбоях
ФБО идентифицированных типов.
J.1.2 FPT_FLS.1 Сбой с сохранением безопасного состояния
J.1.2.1 Замечания по применению для пользователя
Термин «безопасное состояние» относится к состоянию, при котором данные ФБО непротиво
речивы и ФБО продолжают корректное осуществление ПБО.
Хотя при сбоях с сохраненном безопасного состояния желательно проведение аудита, это воз
можно не во всех ситуациях. Автору ПЗ/ЗБ следует специфицировать те ситуации, при которых про
ведение аудита желательно и выполнимо.
Сбои ФБО могут включать в себя аппаратные отказы, которые указывают на нарушение режима
работы оборудования и требуют аварийной поддержки или восстановления ФБО. Сбои ФБО могут
включать в себя также устранимые программные отказы, после которых требуется только инициали
зация или повторный запуск ФБО.
290