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

Тимочко, А. А.

Процесс верификации программного обеспечения системы классификации воздушных объектов, при контроле воздушного пространства в нечеткой постановке, рассматривается как процесс исследования динамических взаимодействующих процессов. Утверждается, что традиционные подходы не позволяют с заданным качеством верифицировать программное обеспечение при решении задачи классификации воздушных объектов в автоматизированных системах контроля воздушного пространства в заданной постановке. Цель статьи - формализация представления динамических взаимодействующих процессов в пространстве состояний нечеткой раскрашенной сети Петри для верификации программного обеспечения нечеткой логической системы классификации воздушных объектов в автоматизированных системах контроля воздушного пространства. Проанализированы основные работы в области теории и практики применения сетей Петри, использованные для исследования динамических взаимодействующих процессов в общем, и непосредственно для верификации программного обеспечения различных систем. Выдвинуты требования к сетям Петри для решения задач данного класса. Определены условия разрешенности при представлении взаимодействующих процессов для различных случаев, которые отличаются количеством входных и (или) выходных переходов. Для описания компонентов модели верификации программного обеспечения системы классификации воздушных объектов, представленных логикой предикатов, использована нечеткая раскрашенная сеть Петри (для логических операций И, ИЛИ, НЕ) и соответствующие функции принадлежности. Разработанный подход по представлению динамических взаимодействующих процессов в пространстве состояний нечеткой раскрашенной сетью Петри для верификации программного продукта нечеткой логической системы классификации является основой для разработки базы нечетких продукционных правил.


	Наукова періодика України		Наука і техніка Повітряних Сил Збройних Сил України