Оценка надёжности сложных технических систем в программном комплексе «АРИОН-плюс»