Аннотация:
Исследуется цикл проектирования и эксплуатации отказоустойчивой БЦВМ летательного аппарата. Строится экономическая модель, позволяющая оценить роль различных стратегий проектирования, определить эффективность разработки и применения отказоустойчивых систем. Модель анализируется с использованием аппарата полумарковских процессов. Показывается, что отказоустойчивые системы имеют ряд преимуществ над системами, проектируемыми с использованием традиционных подходов.