Метод анализа сложных структур только на базе макромоделей функцио-
нальных блоков недостаточен, так как не позволяет учитывать такие характе-
ристики системы, как например, временн ´ые параметры элементов, входящих
в макромодель, а следовательно, выполнять надежную верификацию проек-
та. В целях уточнения характеристик сложной системы используется прин-
цип “увеличительного стекла”, когда различные участки структуры системы
анализируются с разной степенью детализации. В отличие от традиционно-
го подхода, при котором переход с одного иерархического уровня на другой
выполняется разработчиком системы, предлагаемый метод декомпозиции,
реализованный в виде программной подсистемы, позволяет выполнить ав-
томатический переход от макромоделей функционального блока к моделям
элементов структуры при выполнении смешанного моделирования сложных
систем.
Практическая реализация иерархического исследования сложных дис-
кретных структур опирается на технологию объектно-ориентированного
программирования (ООП) [4, 5]. В качестве инструментального средства
анализа и верификации структуры разработан язык моделирования на базе
Visual C++, ориентированный на транзакты. Предлагаемый программный
комплекс основан на методологии общецелевой системы моделирования
GPSS и является расширением ее в плане реализации исследования сложных
дискретных структур на уровне функциональных блоков (макромоделей).
Интерфейсная часть комплекса включает возможность визуального графи-
ческого построения и отображения моделируемой системы, что облегчает
создание модели и ее анализ.
Программное обеспечение иерархического проектирования структур с
очередями функционирует в рамках ОС Windows XP и более.
Для формализации процесса функционирования сложного дискретного
устройства в виде логической сети в графическом виде введена следующая
классификация блоков:
блок GENERATE — создание транзактов;
блок TERMINATE — уничтожение транзактов;
блок DEVICE — обслуживание транзактов;
блок QUEUE — организация очередей транзактов;
блок BRANCH — ветвление маршрута движения транзактов;
блок COLLECT — объединение маршрутов движения транзактов.
Сеть моделируется при использовании механизма планирования событий
(событийный подход). Считается, что изменения состояния системы проис-
ходят в некоторые дискретные моменты времени – моменты наступления
событий. Изменение состояния происходит мгновенно. Состояние системы
характеризуется совокупностью переменных. Начальное состояние устана-
вливается путем задания значений этих переменных. События, возникающие
в модели, связаны с каждым блоком отдельно. В некоторых случаях возник-
новение события характеризуется интервалом времени, через которое оно
должно произойти, и планируется заранее (в моменты определения интер-
вала времени). К такому виду событий относятся события создания (блок
GENERATE) и обслуживания (блок DEVICE) транзактов. В остальных слу-
чаях явно задать время возникновения событий невозможно, поэтому их
наступление описывается с помощью условий (выход транзакта из блока
QUEUE). Наличие условных событий приводит к тому, что помимо исполь-
зования техники планирования событий необходимо использовать технику
122 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 1
