Запропоновано математичні моделі для вдосконалення методів технічного діагностування (ТД) тягових електродвигунів постійного струму, а також синтезовані на їх базі мікропроцесорні пристрої для ТД даних двигунів у процесі їх нормальної експлуатації. Обгрунтовано новий метод оцінювання адекватності секвенціального опису мікропроцесорних систем ТД, призначений для тестування правильності побудови секвенціальної моделі на підставі оригінального підходу до формалізації з застосуванням стандартних програмних середовищ.