Созданы теоретические модели оценки надежности программного обеспечения систем управления космических аппаратов. Разработаны алгоритмы моделирования случайных и нестационарных процессов и потоков событий. Для выявления сбоев программного обеспечения предложен аналитико-численный метод идентификации на основе статистических данных. Подсистема "Идентификация закономерностей работы бортовой аппаратуры" программно реализована в среде объектно-ориентированного программирования Delphi.