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