Methods of On-Line Testing for Digital Components of Safety-Critical Systems

Features of operation diagnosing of digital components in the information controlling systems of critical application ensuring the functional safety of objects of the increased risk including cryogenic technique are considered. Feasibility of development of operation diagnosing for digit-by- digit pipeline nodes of digital components which allow solving successfully a problem of the hidden failure reducing fail safety of digital circuits in the most responsible emergency operation of operation is shown. Within model of approximate data, control methods on inequalities gained further development for working diagnosing of digit-by- digit pipelines. Result models were proposed as the lower and upper boundaries within which the result is defined by authentic. For three types of digit-by- digit pipeline multipliers models of data access in monitoring are defined. The program estimating probabilities of detection of an error depending on error amount for monitoring on inequalities with use of different boundaries of result is developed. Increase in probability of error detection in the conditions of growth of error size is shown.