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

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

16
[стр. 34]

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

[стр.,35]

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

Рис.
3.
Понятие правильной (корректной) программы может рассматриваться статически вне временного функционирования.
Степень некорректности программ можно характеризовать вероятностью попадания в область исходных данных, которая предусматривалась требованиями спецификации (1 на рис.
3), однако не была проверена при тестировании и испытаниях (2 на рис.
35

[Back]