This document is devoted to the study of working diagnostic methods. The logarithmic control of a fixed-point product and the semantic control of mantis are considered. Modeling is performed using software models under the ...