Устройство для контроля устойчивости функционирования программ

)5 0 06 Р 11/30. Я ЕН ОБР ЛЬСТВУ сел, ре- ИЛИ 5, оев, элевления, ентов И, блок 14 брай с входа 16 устрой чики 7 и 9 в нулево ал подается на вхо том с генератора ды с заданно мости от того, к а устойчивость сформирова и инакие про- нный ГОСУДАРСТВЕ ННЫИ КОМИТЕТПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИПРИ ГКНТ СССР ОПИСАНИЕ К АВТОРСКОМУ СВИД(46) 30.01,92. Бюл. М 4 (72) В, А, Романюк, В. Б, Приданцев и А. В. Золотухин (53) 681.3(088,8) (56) Авторское свидетельство СССР М 1256033, кл. 6 06 Р 11/30, 1985. (54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ УСТОЙЧИВОСТИ ФУНКЦИОНИРОВАНИЯ ПРОГРАММ (57) Изобретение относится к вычислительной технике, может быть использовано при проверке устойчивости функционирования программ специализированных ЦВМ, имеющих средства программно-аппаратной защиты информации и вычислительного процесса, и является усовершенствованием Изобретение относится к вычислительной технике и может быть использовано для проверки устойчивости функционирования программ специализированных ЦВМ, имеющих средства программно-аппаратной защиты информации и вычислительного процесса, является усовершенствованием изобретения по авт. св. М 1256033,Цель изобретения - расширение функциональных возможностей устройства за счет обеспечения контроля устойчивости функционирования программ в течение требуемого интервала времени.На чертеже изображена функциональная схема устройства.Устройство для контроля устойчивости функционирования программ содержит геизобретения по авт. св. М 1256033. Цель изобретения - расширение функциональных возможностей устройства за счет обеспечения контроля устойчивости функционирования программ в течение требуемого интервала времени, Устройство содержит первый и второй генераторы псевдослучайных чисел, элемент ИЛИ, первый - третий элементы И, счетчик выданных сбоев, счетчик сигналов восстановления, первую и вторую группы элементов И, регистры, блок индикации, первую и вторую схемы сравнения, вход начальной установки, вход начала восстановления, группу входов задания длительности интервала времени, группу выходов, Устройство позволяет оценить устойчивость функционирования программы на заданном интервале времени О, т 1. 1 ил. нераторы 1 и 2 псевдослучайных чи гистр 3, схему 4 сравнения, элемент элемент И 6, счетчик 7 выданных сб мент 8, счетчик 9 сигналов восстано первую 10 и вторую 11 группы элем регистр 12, схему 13 сравнения, индикации, элемент И 15.Устройство работает следующи зом,Сигнал поступающи ства, устанавливает счет состояние. Этот же сигн генераторов 1 и 2. При э выдаются случайные ко тенсивностью. В зависи именно спецификации н грамм контролируются5 10 15 случайный код подается либо на буферный регистр канала СЦВМ, чем вызывается искажение исходной информации программ, либо на регистры арифметического устройства СЦВМ, чем вызывается искажение внутренней информации программ и сбои выполнения команд программ, либо на буферный регистр блоков памяти программ, чем вызываются искажения кода вычислительного процесса, При этом одновременно с кодами сбоев, поступающими с генератора 1, с генератора 2 выдаются с такой же интенсивностью, как и с генератора 1, случайные числа, которые определяют моменты возникновения соответствующих сбоев, Эти величины поступают на схему 4 сравнения, на второй вход которой поступает из регистра 3 величина т - длительность временного интервала, на котором оценивается устойчивость программ. Перед началом работы величина 1 заносится в регистр 3. В случае, если момент возникновения сбоянаходится в пределах длительности т, т, е.О, т, то на выходе схемы 4 сравнения появляется разрешающий сигнал. В противном случае, когдат, на выходе схемы 4 сравнения появляется запрещающий сигнал и данный сбой не фиксируется.Сбои и ошибки, которые возникают в течение интервала 0, т, фиксируются либо программно-аппаратными средствами контроля, при этом производится восстановление информации и вычислительного процесса и выдается сигнал восстановления, либо они проходят незамеченными, сигнал восстановления не формируется и на выходе программы СЦВМ получается неправильный результат. В качестве спецификации на устойчивость используется вероятность Р того, что при воздействии сбоя определенного типа программа обнаружит сбой, восстановится и выдаст правильный результат,Таким образом, для контроля устойчивости функционирования программ СЦВМ необходимо сформировать определенное количество сбоев Я в течение интервала времени т, подсчитать число сигналов восстановления Ч на этом интервале и вычислить оценку устойчивостиР=Ч/Я.При РР программа является устойчивой, иначе программа является неустойчивой и нуждается в доработке.Техническая реализация данного подхода состоит в следующем, Параллельно с выдачей на СЦВМ случайный код сбоя поступает через элемент ИЛИ 5 и через И 6, на второй вход которого в случае ф б 0, т 20 25 30 35 40 45 50 55 поступает разрешающий сигнал. С выхода элемента И б сигнал поступает на счетный вход счетчика 7 выданных сбоев и увеличйвает его состояние на "1". Счетчики 7 и 9 представляют собой асинхронные двоичные суммирующие счетчики.При обнаружении и обработке искаженной информации при повторном исполнении защищенного участка программы при сбое СЦВМ вырабатывается сигнал восстановления, который выдается на входустройства. С входа устройства данный сигнал поступает на счетный вход счетчика 9 сигналов восстановления и увеличивает его состояние на "1". При выдаче определенного числа сбоев разряды счетчика 7 выданных сбоев устанавливаются в единичное состояние, Информация данных разрядов поступает на входы элемента И 8, вследствие чего на его выходе формируется сигнал "Остановка контроля". Данный сигнал поступает на входы генераторов 1 и 2, которые при этом прекращают формировать случайные числа. Этот же сигнал поступает на разрешающие входы групп 10 и 11 элементов И. Через группы 10 и 11 элементов И состояния счетчиков 7 и 9 записываются в соответствующие разряды регистра 12, в (1 - В/2)-й разряды записывается состояние счетчика 7 (первая половина регистра), а в (Я/2+1 - В)-й разряды (вторая половина регистра) записывается состояние счетчика 9. Сформированные значения разрядов поступают на вход схемы 13 сравнения. Сигналы совпадений или несовпадения с выходов схемы 13 сравнения поступают на вход блока 14 индикации для информирования о степени устойчивости функционирования программ СЦВ М.Таким образом, устройство позволяет расширить возможности контроля устойчивости функционирования программ за счет обеспечения контроля устойчивости функционирования программ в течение требуемого интервала времени 0, т. Формула изобретения Устройство для контроля устойчивости функционирования программ по авт. св. ЬЬ 1256033, о т л и ч а ю щ е е с я тем, что, с целью расширения функциональных возможностей устройства путем обеспечения контроля устойчивости функционирования программ в течение требуемого интервала времени, в него введены второй генератор псевдослучайных чисел, вторая схема сравнения, второй и третий элементы И, причем вход останова второго генератора псевдослучайных чисел соединен с выходом первого элемента И, вход начальной установки1709321 10 Составитель И, Сафроновактор М. Кобылянская Техред М.Моргентал Корректор Т, Мал 427 Тираж ПодписноеИИПИ Государственного комитета по изобретениям и открытиям при113035, Москва, Ж, Раушская наб., 4/5 ТСС Производственно-издательский комбинат "Патент", г, Ужгород, ул,Гагарина, 101 подключен к входу начальной установки устройства, группа выходов - к первой группе входов второй схемы сравнения, вторая группа входов которой соединена с группой входов задания длительности интервала 5 времени устройства, выход второй схемы сравнения соединен с первым входом второго элемента И, второй вход которого соединен с выходом элемента ИЛИ, выход второго элемента И - со счетным входом счетчика выданных сбоев и с первым входом третьего элемента И, второй вход которого подключен к входу начала восстановления устройства, выход третьего элемента И соединен со счетным входом счетчика сигналов восстановления.