Достижения испытательной лаборатории программных средств

Разработаны методики для проведения сертификационных испытаний программных средств железнодорожного транспорта (см. перечень ниже).
Разработан комплекс моделей надежности программного обеспечения на основе использования аппроксимирующих распределений фазового типа, а также модели планирования испытания многомодульных программных средств. Комплекс моделей получил теоретическое обоснование в серии научных статей и докладов на международных конференциях. Реализован в виде пакета программ, который зарегистрирован в фонде алгоритмов и программ. 

Проведены сертификационные испытания программного обеспечения горочной автоматической централизации микропроцессорной с ведением накопления вагонов в сортировочном парке (ГАЦ МН) - сертификат РС ФЖТ выдан.
Проведены сертификационные испытания программного обеспечения комплексной системы автоматизации управления компрессорной станцией (ПО КСАУКС).
Проведены сертификационные испытания программного обеспечения контрольно-диагностического комплекса станционных устройств сигнализации, централизации и блокировки горочной зоны (ПО КДК СУ ГАЦ).
Проведены сертификационные испытания программного обеспечения тестирующего комплекса программного обеспечения систем микропроцессорных централизаций и систем микропроцессорных автоблокировок с централизованным размещением оборудования (ТК МПЦ/АБТМПЦ).