Рассмотрены особенности рабочего диагностирования цифровых компонентов в системах критического применения, обеспечивающих функциональную безопасность объектов повышенного риска, включая криогенную технику. Показана целесообразность развития рабочего диагностирования для поразрядные конвейерных узлов цифровых компонентов. В рамках модели приближенных данных получили дальнейшее развитие методы контроля по неравенствам, обеспечивающие рабочее диагностирование поразрядных конвейеров. Предложены модели результата, служащие ему границами, в пределах которых результат определяется достоверным. Для трех типов поразрядных конвейерных умножителей определены модели доступа к данным в контроле.
Ключевые слова
Системы критического применения; Поразрядные конвейеры; Рабочее диагностирование; Контроль по неравенствам; Границы результата; Доступ к данным
Розглянуто особливості робочого діагностування цифрових компонентів в системах критичного застосування, що забезпечують функціональну безпеку об'єктів підвищеного ризику, включаючи кріогенну техніку. Показано доцільність розвитку робочого діагностування для порозрядних конвеєрних вузлів цифрових компонентів. В рамках моделі наближених даних отримали подальший розвиток методи контролю за нерівностям, що забезпечують робоче діагностування порозрядних конвеєрів. Запропоновано моделі результату, що служать йому границями, в межах яких результат визначається достовірним. Для трьох типів порозрядних конвеєрних помножувачів визначені моделі доступу до даних у контролі.
Ключові слова: Системи критичного застосування; Порозрядні конвеєри; Робоче діагностування; Контроль за нерівностями; Границі результату; Доступ до даних.
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.
Keywords: Safety-critical systems; Bitwise pipelines; On-line testing; Checking by inequalities; Result boundaries; Data access
