System aspects of design guaranteased cloud calculations - N. A. Kosovets; I. E. Shchetinin; L. N. Tovstenko (Problems in programming, 2018)