SU1709321A2

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

Info

Publication number: SU1709321A2
Application number: SU904779922A
Authority: SU
Inventors: Валентин Алексеевич Романюк; Владимир Борисович Приданцев; Александр Валерьевич Золотухин
Original assignee: Войсковая Часть 32103
Priority date: 1990-01-08
Filing date: 1990-01-08
Publication date: 1992-01-30

Abstract

Изобретение относитс к вычислительной технике, может быть использовано при проверке устойчивости функционировани программ специализированных ЦВМ, имеющих средства программно-аппаратной защиты информации и вычислительного процесса, и вл етс усовершенствованием2изобретени по авт. св. № 1256033. Цель изобретени - расширение функциональных возможностей устройства за счет обеспечени контрол устойчивости функционировани программ в течение требуемого интервала времени. Устройство содержит первый и второй генераторы псевдослучайных чисел, элемент ИЛ И, первый - третий элементы И, счетчик выданных сбоев, счетчик сигналов восстановлени , первую и вторую группы элементов И, регистры, блок индикации, первую и вторую схемы сравнени , вход начальной установки, вход начала восстановлени , группу входов задани длительности интервала времени, группу выходов. Устройство позвол ет оценить устойчивость функционировани программы на заданном интервале времени [О, т]. 1 ил.(ЛС

Description

Изобретение относитс к вычислительной технике и может быть использовано дл проверки устойчивости функционировани программ специализированных ЦВМ, имеющих средства программно-аппаратной защиты информации и вычислительного процесса, вл етс усовершенствованием изобретени по авт. св. № 1256033.

Цель изобретени - расширение функциональных возможностей устройства за счет обеспечени контрол устойчивости функционировани программ в течение требуемого интервала времени.

На чертеже изображена функциональна схема устройства.

Устройство дл контрол устойчивости функционировани программ содержит генераторы 1 и 2 псевдослучайных чисел, регистр 3, схему 4 сравнени , элемент ИЛИ 5, элемент И 6, счетчик 7 выданных сбоев, элемент 8, счетчик 9 сигналов восстановлени , первую 10 и вторую 11 группы элементов И, регистр 12, схему 13 сравнени , блок 14 индикации, элемент И 15.

Устройство работает следующим образом .

Сигнал поступающий с входа 16 устройства , устанавливает счетчики 7 и 9 в нулевое состо ние. Этот же сигнал подаетс на вход генераторов 1 и 2. При этом с генератора 1 выдаютс случайные коды с заданной интенсивностью . В зависимости оттого, какие именно спецификации на устойчивость программ контролируютс , сформированный

случайный код подаетс либо на буферный регистр канала СЦВМ, чем вызываетс искажение исходной информации программ, либо на регистры арифметического устройства СЦВМ, чем вызываетс искажение внутренней информации программ и сбои выполнени команд программ, либо на буферный регистр блоков пам ти программ, чем вызываютс искажени кода вычислительного процесса. При этом одновременно с кодами сбоев, поступающими с генератора 1, с генератора 2 выдаютс с такой же интенсивностью, как и с генератора 1, случайные числа, которые определ ют моменты возникновени соответствующих сбоев. Эти величины поступают на схему 4 сравнени , на второй вход которой поступает изу регистра 3 величина t - длительность временного интервала, на котором оцениваетс устойчивость программ. Перед началом работы величина t заноситс в регистр 3. В случае, если момент возникновени сбо находитс в пределах длительности t, т. е. € 0. . ГО на выходе схемы 4 сравнени по вл етс разрешающий сигнал. В противном случае, когда t, на выходе схемы 4 сравнени по вл етс запрещающий сигнал и данный сбой не фиксируетс .

Сбои и ошибки, которые возникают в течение интервала О, t, фиксируютс либо программно-аппаратными средствами контрол , при этом производитс восстановление информации и вычислительного процесса и выдаетс сигнал восстановлени , либо они проход т незамеченными, сигнал восстановлени не формируетс и на выходе программы СЦВМ получаетс неправильный результат. В качестве спецификации на устойчивость используетс веро тность Р того, что при воздействии сбо определенного типа программа обнаружит сбой, восстановитс и выдаст правильный результат.

Таким образом, дл контрол устойчивости функционировани программ СЦВМ необходимо сформировать определенное количество сбоев S в течение интервала времени t, подсчитать число сигналов восстановлени V на этом интервале и вычислить оценку устойчивости .

При Р Р программа вл етс устойчивой , иначе программа вл етс неустойчивой и нуждаетс в доработке.

Техническа реализаци данного подхода состоит в следующем. Параллельно с выдачей на СЦВМ случайный код сбо поступает через элемент ИЛИ 5 и через И 6, на второй вход которого в случае | 6 О, t

поступает разрешающий сигнал. С выхода элемента И 6 сигнал поступает на счетный вход счетчика 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 индикации дл информировани о степени устойчивости функционировани программ СЦВМ.

Таким образом, устройство позвол ет расширить возможности контрол устойчивости функционировани программ за счет обеспечени контрол устойчивости функционировани программ в течение требуемого интервала времени О, t.

Claims

Формула изобретени Устройство дл контрол устойчивости функционировани программ по авт. св. NS 1256033, отличающеес тем, что, с целью расширени функциональных возможностей устройства путем обеспечени контрол устойчивости функционировани программ в течение требуемого интервала времени, в него введены второй генератор псевдослучайных чисел, втора схема сравнени , второй и третий элементы И, причем вход останова второго генератора псевдослучайных чисел соединен с выходом первого элемента И, вход начальной установки

подключен к входу начальной установки устройства , группа выходов - к первой группе входов второй схемы сравнени , втора группа входов которой соединена с группой входов задани длительности интервала времени устройства, выход второй схемы сравнени соединен с первым входом второго элемента И, второй вход которого соединен с выходом элемента ИЛИ, выход второго элемента И - со счетным входом счетчика выданных сбоев и с первым входом третьего элемента И, второй вход которого подключен к входу начала восстановлени устройства, выход третьего элемента И соединен со счетным входом счетчика сигналов восстановлени .