Комплект документов для сертификации ПО: - Задание по безопасности - Функциональная спецификация - Процедуры тестирования и тестовая документация - Свидетельство анализа стойкости функции безопасности - Эксплуатационная документация