Описана методика машинной обработки документов из нормативной базы (НБ) в процессе формирования нормативного профиля для сертификации программного обеспечения систем критического применения. Рассмотрен подход к моделированию НБ программных систем с использованием основных положений теории иерархических систем. Приведена классификация документов НБ, а также результаты их грамматического анализа. Предложен подход к представлению НБ в виде онтологической системы и технология синтеза на этой основе диалоговой системы поддержки принятия решений сертификационным аудитором.
