Прикладное программное обеспечение (ППО) автоматизированных систем управления технологическими процессами (АСУ ТП) обеспечивает функции контроля и управления промышленным оборудованием. Надежность функционирования ППО влияет на безопасность процессов производства. Ошибки, допущенные на этапе разработки АСУ ТП, могут привести к выходу из строя оборудования, нарушению технологического процесса и даже к человеческим жертвам. Верификация ППО на предприятии изготовителе позволяет повысить надежность функционирования алгоритмов прикладного программного обеспечения АСУ ТП.

В работе приведен обзор методов и средств повышения надежности прикладного программного обеспечения. Рассматривается процесс создания проблемно-ориентированных имитационных моделей технологического оборудования для систем конвейерного транспорта и водоотлива угольной шахты. Рассмотрены структура, функционирование и применение имитационного программно-аппаратного комплекса для тестирования прикладного программного обеспечения АСУ ТП горнодобывающих предприятий.