Выводы по разделу

При проведении обзора и анализа современных подходов к построению доказательства безопасности и достоверности с использованием формальных нотаций, при формировании нормативного профиля при сертификации ПП, была выявлена актуальность темы.

После рассмотрения существующих работ, была выявилена актуальность предложенного диверсного пути, основанного на концепции онтологий, для достижения заявленных целей и решения поставленных задач.

Для решения поставленных задач необходимо разработать концептуальной модели профелеобразующей базы.

Предложенная модель, которая основана на концепции онтологий и в отличии от существующих дает диверсный путь решения задачи, автоматизированного формирования нормативного профиля при сертификации ПП, позволит унифицировать и формализовать сертификацию ПП.

Так как в результате построения модели, возникнет необходимость в множестве методов для ее реализации, то разработка методов автоматизированного формирования нормативного профиля сертифицирования ПП, занимает важное место. Методы построенные на концепции онтологий, учитывая то, что был выбрали диверсный путь, будут актуальны.

Усовершенствование методов автоматизированного формирования нормативного профиля при сертификации ПП, путем формирования нормативов, стандартов, позволят повысить безопасность.

Для реализации методов необходимо их алгоритмизировать в виде блок-схем или псевдокода.

В результате работы необходимо получить прототип для формирования нормативного профиля при сертификации ПП.