24. Особливості та відмінності моделювання і верифікації проектування комп’ютерних систем.

До основних етапів моделювання комп’ютерної системи відносяться: побудова концептуальної моделі системи і її формалізація; алгоритмізація моделі системи і її машинна реалізація; отримання та інтерпретація результатів моделювання системи.

Взаємозв'язок перерахованих етапів моделювання систем та їх складових (підетапів) може бути представлена ​​у вигляді мережного графіку (рис. 17.1). [5, стор. 86 ]

Рис. 17.1. Взаємозв’язок етапів моделювання системи

Перерахуємо ці підетапи:

1.1 - постановка задачі машинного моделювання системи;

1.2 - аналіз задачі моделювання системи;

1.3 - визначення вимог до вихідної інформації про об'єкт моделювання і організація її збору;

1.4 - висунення гіпотез і прийняття припущень;

1.5 - визначення параметрів і змінних моделі;

1.6 - встановлення основного змісту моделі;

1.7 – обґрунтування критеріїв оцінки ефективності системи;

1.8 – визначення процедур апроксимації;

1.9 - опис концептуальної моделі системи;

1.10 - перевірка достовірності концептуальної моделі;

1.11 - складання технічної документації по першому етапу;

2.1 - побудова логічної схеми моделі;

2.2 – отримання математичних співвідношень;

2.3 - перевірка достовірності моделі системи;

2.4 - вибір інструментальних засобів для моделювання;

2.5 - складання плану виконання робіт з програмування;

2.6 - специфікація і побудова схеми програми,

2.7 - верифікація та перевірка достовірності схеми програми;

2.8 - проведення програмування моделі;

2.9 - перевірка достовірності програми;

2.10 - складання технічної документації по другому етапу;

3.1 - плакування машинного експерименту з моделлю системи;

3.2 - визначення вимог до обчислювальних засобів;

3.3 - проведення робочих розрахунків;

3.4 - аналіз результатів моделювання системи;

3.5 – подання результатів моделювання;

3.6 - інтерпретація результатів моделювання;

3.7 - підведення підсумків моделювання і видача рекомендацій;

3.8 - складання технічної документації по третього етапу.

Таким чином, процес моделювання системи зводиться до виконання перерахованих підетапів, згрупованих у вигляді трьох етапів. На етапі побудови концептуальної моделі і її формалізації проводиться дослідження модельованого об'єкта з точки зору виділення основних складових процесу його функціонування, визначаються необхідні апроксимації і виходить узагальнена схема моделі системи S, яка перетворюється в машинну модель на другому етапі моделювання шляхом послідовної алгоритмізації та програмування моделі. [5, стор. 87 ]

Останній третій етап моделювання системи зводиться до проведення відповідно до отриманого плану робочих розрахунків на ЕОМ з використанням вибраних програмно-технічнихкоштів, отримання та інтерпретації результатів моделювання системи 5 "з урахуванням впливу зовнішнього середовища Е. Очевидно, що при побудові моделі і її машинної реалізації при отриманні нової інформації можливий перегляд раніше прийнятих рішень, тобто процес моделювання є ітераційним. [5, стор. 88 ]

Верифікація - доказ того, що поведінка програми відповідає специфікації на програму. Ця перевірка є другою на етапі машинної реалізації моделі системи. Очевидно, що немає сенсу продовжувати роботу по реалізації моделі, якщо немає впевненості в тому, що в схемі програми, за якою вестиметься подальше програмування, допущені помилки, які роблять її неадекватною логічною схемою моделі, а отже, і неадекватною самому об'єкту моделювання. При цьому проводиться перевірка відповідності кожної операції, представленої у схемі програми, аналогічної їй операції в логічній схемою моделі. [5, стор. 101 ]

25.