Cтраница 2
МК PLSIM обладает необходимым набором средств управления имитацией. Пользователь может каталогизировать в качестве стандартных любое число процессов-контролеров, в функции которых входит управление моделированием. С помощью процесса-лидера он может организовать любой режим перехода модели в стационарное состояние. Наличие средств управления сбором статистики позволяет фиксировать статистику по любому алгоритму, включая отделение ее в стационарном состоянии модели. Поскольку программная реализация модели представляет PL-программу, организация многовариантного или итеративного моделирования обеспечивается простым зацикливанием программы-модели с конца на начало. МК PLSIM имеет средства для останова имитации и продолжения ее с прерванного места, что существенно при организации модельного эксперимента в условиях ограничения времени работы ЭВМ, поскольку позволяет исследовать действительно большие модели, для работы которых требуется много машинного времени и большой объем памяти. Наличие условных операторов в МК PLSIM позволяет запрограммировать любые процедуры для управления процессом имитации. Множество операторов управления объектами модели существенно расширяет возможности МК PLSIM в управлении процессами, устройствами, памятью, трассами, очередями, семафорами, сигналами. [16]
Начинается отладка взаимодействия процессов по операторам пуска и останова. Начиная с отладки взаимодействия двух процессов, исследователь постепенно наращивает программную модель до полного объема. Затем происходит наращивание функций каждого процесса. Таким образом, разработчики фактически создают последовательность вложенных программных моделей, и опыт отладки одной модели используется для улучшения последующей. При отладке новой модели в ней обнаруживаются программные ошибки и определяются неточности перехода от формального описания к программной реализации модели большой системы. [17]