Общая и частные задачи работы

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

- обзор публикаций по проблеме автоматизации процессов связанных с спецификацией ПП;

- разработать концептуальную модель профелеобразующей базы;

- разработать метод автоматизированного формирования нормативного профиля сертифицирования ПП;

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

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

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

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

Прикладные задачи исследований включают:

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

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

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

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

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

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

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

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

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

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

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

Дата добавления: 2014-09-01; просмотров: 374; Нарушение авторских прав

Мы поможем в написании ваших работ!