Принципы и методы создания надежного программного обеспечения АСУТП