| English | Russian |
| high integrity system | система с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, корректности функционирования программного обеспечения в целом, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении; корпорации AdaCore Alex_Odeychuk) |
| high-integrity software system | программный комплекс с высоким интегральным уровнем безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) |
| high-integrity software system | программный комплекс с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) |
| high-integrity software system | высоконадёжный программный комплекс |
| high-integrity system | система с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов программного обеспечения, корректности функционирования программного обеспечения в целом, отсутствия скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении Alex_Odeychuk) |
| use in high integrity systems | использование в системах с высоким уровнем полноты безопасности (т.е. в системах, для которых подтверждено корректное написание исходного кода, правильное взаимодействие компонентов программного обеспечения, корректность функционирования программного обеспечения в целом, отсутствие скрытых ошибок, заплаток и неавторских модификаций в программном обеспечении; корпорации AdaCore Alex_Odeychuk) |
