Aerospace Instrument-Making Annotation << Back The formation methods of program realization algorithms automatic check of control systems. S.E. Zalessky Complexity of modern aviation complexes of control has led to significant growth of the software volumes of digital devices and onboard digital computers, which should be checked on full exception of errors in laws and in test procedures of detection and correction of mistakes in programs. For these purposes, it is recommended to use an automatic quality monitoring based on a divergence of target signals of reference model and real system in a mode of the seminatural modelling. Comparisons are carried out in asynchronous processes with a choice of required vectors of model and system conditions.