A semi-Markov stationary model of operation of measuring instruments installed on complex technical systems is developed, which allows modelling the process of metrological maintenance of measuring instruments at combined verification and operational automated condition control. The results of modelling are presented.
Keywords: semi-Markov model, measuring instrument, verification, operational automated state control