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