Проверяемый текст
Попов, Андрей Анатольевич. Оптимизационные методы формирования мультиверсионного программного обеспечения критичных по надежности систем управления (Диссертация 2002)
[стр. 22]

значительного времени для восстановления.
Информационная избыточность может способствовать не только обнаружению искажений данных, но и устранению ошибок.
Для этого данные защищают двух-, трехкратным дублированием с соответствующей дисциплиной контроля сохранности и периодического обновления.
Программная избыточность используется для контроля и обеспечения достоверности наиболее важных результатов обработки информации.
Она заключается в применении в КП нескольких вариантов программ, различающихся методами решения некоторой задачи или программной реализации одного и того же метода.
Программная избыточность необходима также для реализации программ контроля и оперативного восстановления данных с использованием информационной избыточности и для функционирования всех средств защиты, использующих временную избыточность.
Последовательный характер исполнения программ процессором ЭВМ приводит к тому, что средства программного контроля включаются после исполнения рабочих программ.
Поэтому средства программного контроля не могут обнаруживать непосредственное ' -возникновение искажения
вычислительного процесса или данных и фиксируют, как правило, только последствия первичного искажения.
Последствия такого первичного искажения в ряде случаев могут развиваться во времени и принимать катастрофический характер отказа при увеличении запаздывания в обнаружении первичного искажения.
Факт наличия любого искажения желательно обнаруживать при минимальных затратах ресурсов ЭВМ и с минимальным запаздыванием.
Это приводит к использованию иерархических схем контроля, при которых несколько методов используется последовательно в порядке углубления контроля и увеличения затрат до достоверного выявления искажения.
С точки зрения построения средств защиты и распределения ресурсов ЭВМ можно выделить искажения результатов трех типов:
22
[стр. 40]

части производительности ЭВМ для контроля исполнения программ и восстановления вычислительного процесса.
Для этого при проектировании программ должен предусматриваться запас производительности, который затем используется для контроля и повышения надежности функционирования.
Диагностика искажений и операций восстановления требует в общем случае небольшой интервал времени, который выделяется либо за счет резерва, либо за счет сокращения времени решения функциональных задач.
Информационная избыточность состоит в дублировании накопленных исходных и промежуточных данных, обрабатываемых КП.
Избыточность используется для сохранения достоверности данных, которые в наибольшей степени влияют на нормальное функционирование программ или требуют значительного времени для восстановления.
Информационная избыточность может способствовать не только обнаружению искажений данных, но и устранению ошибок.
Для этого данные защищают двух-трехкратным дублированием с соответствующей дисциплиной контроля сохранности и периодического обновления.
Программная избыточность используется для контроля и обеспечения достоверности наиболее важных результатов обработки информации.
Она заключается в применении в КП нескольких вариантов программ, различающихся методами решения некоторой задачи или программной реализации одного и того же метода.
Программная избыточность необходима также для реализации программ контроля и оперативного восстановления данных с использованием информационной избыточности и для функционирования всех средств защиты, использующих временную избыточность.
Последовательный характер исполнения программ процессором ЭВМ приводит к тому, что средства программного контроля включаются после исполнения рабочих программ.
Поэтому средства программного контроля не могут обнаруживать непосредственное возникновение искажения
40

[стр.,41]

вычислительного процесса или данных и фиксируют, как правило, только последствия первичного искажения.
Последствия такого первичного искажения в ряде случаев могут развиваться во времени и принимать катастрофический характер отказа при увеличении запаздывания в обнаружении первичного искажения.
Факт наличия любого искажения желательно обнаруживать при минимальных затратах ресурсов ЭВМ и с минимальным запаздыванием.
Это приводит к использованию иерархических схем контроля, при которых несколько методов используется последовательно в порядке углубления контроля и увеличения затрат до достоверного выявления искажения.
С точки зрения построения средств защиты и распределения ресурсов ЭВМ можно выделить искажения результатов трех типов:
приводящие к прекращению выполнения основных функций КП на длительное или неопределенное время; кратковременно, но значительно искажающие отдельные результаты по их смысловому содержанию или величине; мало и кратковременно влияющие на результаты, выдаваемые программами.
Такое качественное деление искажений предопределяет распределение ресурсов по защите.
Наибольшие ресурсы целесообразно выделять и в максимальной степени следует принимать меры защиты от искажений информации и вычислительного процесса первого типа, последствия которых могут проявляться в следующем виде: зацикливание, то есть последовательная повторяющаяся реализация определенной группы команд, не прекращающаяся без внешнего вмешательства; останов и прекращение решения функциональных задач; искажение процессов взаимного прерывания программ, приводящее к блокировке возможности некоторых типов прерываний; прекращение или значительное снижение темпа решения некоторых задач вследствие 41

[Back]