Методика выбора оптимального набора механизмов отказоустойчивости для бортовых вычислительных системстатья