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