5.
Отказы, обусловленные ограничением на функционирование в
реальном масштабе времени.
В рассматриваемых системах среда мо-
жет изменяться динамически. Поэтому если время планирования или
расчета отклика слишком велико, то к моменту выполнения отклика
среда может быть уже измененной так сильно, что вычисленный или
спланированный отклик не будет иметь требуемого эффекта. Эти отка-
зы часто характеризуются неспособностью системы функционировать
в ограничениях на реальное время.
Следует отметить, что перечисленные факторы влияют друг на дру-
га. Например, имеется противоречие между устранением внутренних
отказов и отказов, обусловленных ограничением на функционирова-
ние в реальном масштабе времени. Использование оптимального и
высокоточного алгоритма решения какой-либо задачи требует значи-
тельных затрат времени для получения решения, что может привести
к нарушению ограничений, связанных с реальным временем функци-
онирования системы. В то же время, использование рационального
(но не оптимального) или приближенного эвристического алгоритма
позволит преодолеть проблему реального времени, однако может при-
вести к внутренним ошибкам. Таким образом, анализ надежности КС
является достаточно сложной задачей, на которую влияет большое
число факторов. И очевидно, что ее решение необходимо выполнять
поэтапно: рассмотреть в отдельности сначала аппаратную часть, за-
тем программную и только после этого анализировать надежность с
учетом взаимодействия всех компонентов.
На практике модели надежности могут применяться для выработки
стратегии управления разработкой ПО, оценки соответствия ПО си-
стемным требованиям, определения эффекта от модернизации ПО и
ввода ПО в эксплуатацию, оценки надежности готового программного
продукта заказчиком и т.д.
Наиболее распространенная сфера применения моделей — это
определение оптимальной продолжительности тестирования ПО.
Оценочные модели надежности — наиболее распространенный и
развитый тип моделей. Они служат для априорного оценивания на-
дежности по серии тестовых прогонов и обычно используются на
этапе тестирования и отладки. По поведению программы в тестовой
среде определяется вероятность отказа в операционной среде. Пред-
полагается, что тестовая и операционная среды связаны известными
соотношениями. К оценочным моделям относятся экспоненциальные
и байесовские модели.
Экспоненциальные модели основаны на следующих предположе-
ниях: интенсивность отказов пропорциональна числу ошибок, остав-
шихся в программе; влияние всех ошибок на работу программы оди-
наково (интервалы времени между моментами обнаружения ошибок
64
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
1,2,3 5,6,7,8,9