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