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