Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Модуль No.2 відповіді.doc
Скачиваний:
2
Добавлен:
01.03.2025
Размер:
1 Мб
Скачать
☆
  1. Причини виникнення конфліктних ситуацій Наступним кроком при перетворенні формального опису СС у її програмний опис є виявлення у ньому можливих конфліктних ситуацій, які можуть виникати при взаємодії КПМ з програмними компонентами ОМ. Вище було розглянуто принцип такою взаємодії за рахунок використання операторів-семафорів. Не менш важливим моментом при використанні процесного способу імітації є синхронізація КПМ виконання процесів один з одним за допомогою операторів запуску або зупинки виконання процесів. Майже у всіх ІМ, створених за процесним способом, мають бути присутніми оператори запуску та зупинки процесів. Але використання цих операторів не гарантує виникнення випадків одночасного запуску у програмі деякої кількості процесів. Така ситуація розцінюється як конфліктна, оскільки КПМ за означенням у реальному часі може одночасно працювати тільки з однією компонентою ОМ. Як правило, відображення таких конфліктних ситуацій при цьому має створювати обрана мова програмування, для чого вона найчастіше використовує створені розробником системи пріоритетів компонент ОМ. При цьому розробник кожній компоненті ОМ (активності, події, процесу, транзакту, агрегату) надає певний рівень пріоритетності (важливості). У цьому випадку при використанні транзактного і процесного способів імітації у випадку виникнення черг на обслуговування транзактів чи блоків процесів програмі доводиться змінювати порядок їх знаходження у черзі.

  2. Загальна для проведення імітації.

Найчастіше набір дій при введенні початкової інформації для компонент моделі оформляється у виді блоку завдання початкових умов імітації. Алгоритм блоку завдання початкових умов реалізується один раз на початку імітації миттєво в модельному часі. У ході завдання початкових умов обумовлюються режими моделювання, а склад дій залежить від обраного способу імітації ОМ.

Наприклад, при використанні процесного способу імітації для завдання початкових умов імітації використовується спеціальний процес, який називається ініціатором моделі. Ініціатор моделі встановлює кожний з процесів ІМ у початковий стан перед її кожним запуском. У функції ініціатора моделі входить також видача досліднику документальної інформації про початкові умови процесу імітації. У ряді випадків у функції ініціатора входять також завдання та модифікація параметрів моделювання. Звичайно при реалізації ініціатора здійснюється заміна формальних параметрів моделі їх фактичними значеннями для даного ІЕ. Тому розробник програми в алгоритмі ініціатора повинен передбачити можливість заміни значень параметрів.

При імітації активностями у ході завдання початкових умов імітації виділяються так звані “активності-лiдери”, тобто такі активності, у функції яких входить приведення інших активностей у початковий стан. Для запуску “активностей-лiдерів”, як правило, виділяється деяка глобальна змінна моделі, яка розпочинає процес підготовки моделі до імітації, а потім змінюється “активністю-лідером” після закінчення установки інших активностей у їх початкові стани.

  1. Характеристика процесу імітації.

Наступним моментом у розробці моделі є завдання умов закінчення процесу імітації для обраного варіанта значень параметрів ОМ. Процедура закінчення імітації реалізується за допомогою спеціального програмного блоку ІМ, який постійно контролює наявність факту виконання умови закінчення імітації, яку висунув розробник на етапі алгоритмізації моделі. Алгоритм функціонування такого блоку має вид певної послідовності дій з контролю за умовою закінчення процесу імітації і переходу на процедуру обробки отриманих результатів моделювання. У деяких випадках у функції цього блоку входить також планування наступного ІЕ. Як правило, контроль за моментом виконання умови закінчення імітації проводиться із заданим кроком модельного часу. При настанні чергового моменту контролю блок активізується і перевіряє виконання умови закінчення імітації. Якщо умова не виконана, то процес імітації продовжується, у протилежному випадку – робота програмних компонент зупиняється і організується перехід на обробку отриманих даних.

  1. Характеристика способів організації контролю за ходом процесу імітації

Досить часто досліднику, який працює з ІМ, необхідно контролювати у певні моменти часу стан процесу імітації або отримувати проміжні дані моделювання. Організація такого контролю може дозволити зупинити процес моделювання при виникненні явної помилки роботи програми.

При використанні процесного способу імітації для проведення такого контролю необхідно додатково ввести до програми ІМ спеціальну підпрограму. Алгоритм функціонування такої підпрограми передбачає її активізацію із заданим часовим кроком. У ході активізації формується інформація про стан процесу. Ці дані можуть видаватися або на друк, або на екран дисплея. У тих випадках, коли передбачаються тривалі дослідження з використанням ІМ, у функції блоку контролю можуть входити операції періодичного копіювання у зовнішню пам'ять (на диски або інші носії інформації) ЕОМ стану моделі. Це забезпечує можливість поновлення роботи моделі у випадках запланованої (перерва у проведенні досліджень) або випадкової (збій у роботі програми, відмовлення ЕОМ) зупинки процесу імітації з останнього зафіксованого у пам’яті стану процесу. Для цієї мети використовуються або стандартні засоби програмного забезпечення ЕОМ, або спеціально розроблені підпрограми контролю за ходом імітації. Подібної ж дії повинний передбачити дослідник при імітації активностями чи підпрограмами обслуговування подій.