Нормативна дисципліна навчального плану освітньої програми "Інженерія програмного забезпечення інформаційних систем" спеціальності 121 Інженерія програмного забезпечення.
Вивчення дисципліни спрямовано на оволодіння технологіями розробки імітаційних моделей складних систем як на основі універсальних мов програмування (Java), так і на основі спеціалізованого програмного забезпечення (Arena, Simio, CPNTools). Застосування моделей розглядається в контексті модулів інформаційних управляючих систем та систем прийняття рішень різного призначення. Дисципліна розвиває та удосконалює професійні навички програмування, набуті в попередні роки навчання, розвиває базові навички з розробки предметно-орієнтованих систем імітаційного моделювання та дослідницькі навички.
Предмет навчальної дисципліни – методи розробки програмного забезпечення імітаційного моделювання складних систем, технології розробки імітаційних моделей та їх застосування в інформаційних управляючих системах та системах прийняття рішень.
Метою дисципліни є вивчення студентами принципів та способів розробки, реалізації та дослідження моделей складних систем, надбання навичок розробки алгоритмів імітації дискретно-подійних систем.
За результатами вивчення дисципліни студент повинен набути досвід з розробки імітаційних алгоритмів моделей складних систем на базі універсальних мов програмування та розробки моделей складних систем з використанням спеціалізованого програмного забезпечення імітаційного моделювання.
Програмні результати навчання студента. Згідно з вимогами освітньо-професійної програми студент після засвоєння навчальної дисципліни повинен знати:
• методи та способи формалізації моделей складних систем,
• алгоритми імітації дискретно-подійних систем, їх верифікацію та валідацію,
• способи використання паралельних обчислень в моделюванні систем,
• методи визначення точності алгоритмів імітації та їх складності,
• методи експериментального дослідження імітаційних моделей систем,
• методи оптимізації дискретно-подійних систем,
• складові компоненти програмного забезпечення з моделювання систем,
• сучасні тенденції розвитку програмного забезпечення з моделювання систем.
Студент повинен вміти:
• складати формалізовані моделі систем,
• розробляти алгоритми імітації на основі подійного представлення функціонування системи,
• розробляти алгоритми імітації на основі представлення функціонування системи стохастичною мережею Петрі,
• розробляти алгоритми імітації з використанням Петрі-об’єктної технології,
• оцінювати точність та складність алгоритмів імітації,
• використовувати паралельні обчислення в алгоритмах імітації та експериментальному дослідженні моделей систем,
• розробляти моделі систем з використанням програмного забезпечення Arena Rockwell Software, CPNTools,
• розробляти графічні редактори мереж Петрі,
• виконувати експериментальне дослідження з моделями систем, у тому числі їх оптимізацію.
Згідно з вимогами освітньої програми вивчення дисципліни спрямоване на оволодіння студентом таких компетентностей:
ФК11. Здатність реалізовувати фази та ітерації життєвого циклу програмних систем та інформаційних технологій на основі відповідних моделей і підходів розробки програмного забезпечення..
ФК19. Здатність до аналізу і оптимізації інформаційних систем з використанням математичних та імітаційних моделей і методів
Програмні результати вивчення дисципліни забезпечують такі програмні результати освітньої програми:
ПРН 5. Знати і застосовувати відповідні математичні поняття, методи доменного, системного і об’єктно-орієнтованого аналізу та математичного моделювання для розробки програмного забезпечення.
ПРН 32. Використовувати методи математичного та імітаційного моделювання при розробці та проектуванні інформаційних систем