|
|
gen. |
высоконадёжный (ПО с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций alex_) |
automat. |
с высоким уровнем интеграции (напр., о системе управления) |
progr. |
с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
softw. |
с высокими требованиями по технической и информационной безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk); с высокими требованиями по надёжности и безопасности (Alex_Odeychuk); с высокими требованиями по безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk); с высоким уровнем доверенности и защищённости (от несанкционированного доступа Alex_Odeychuk); высоконадёжный (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) |
|
|
progr. |
повышенной надёжности (Alex_Odeychuk) |
tech. |
высокая достоверность |