Aerospace Instrument-Making Annotation << Back A MODEL FOR VERIFYING THE SOURCE DATA IN THE PROCESS OF PROCESSING TELEMETRIC INFORMATION BASED ON SOLVING THE LINEAR INTEGER PROGRAMMING PROBLEM D.A. Pavlov, A.M. Popov, V.V. Shmelev A model of source data verification is presented, that is, a model for finding and eliminating errors when entering various kinds of source data into a telemetry information processing system by solving a linear integer programming problem. Examples of errors that occur during the operation of telemetry information processing complexes of space facilities that do not allow solving the problems of monitoring and diagnostics of the technical condition of the object of control are con-sidered. The developed model allows analyzing the operation process for the presence of possible error locations and developing a set of measures to eliminate them. A brief description of the stages of processing telemetry information of space facilities is given. The calibration operation using a Petri net in the CPN IDE environment is presented, on the basis of which a classical Petri net is built to analyze the reachability property, i.e. the possibility of the network transition to the required (fi nal) state from the initial (set) one. The developed model can be used to find errors in the initial marking of the Petri net, as well as to analyze the system for the possibility of its transition to the required state. Keywords: processing of telemetric information, Petri nets, analysis of the properties of Petri nets, errors in processing telemetric information, automated verification, error correction, linear integer programming. DOI: 10.25791/aviakosmos.7.2023.1347 Pp. 03-10.