Каким образом программные решения проходят контроль надежности