| Russian | English |
| проект разработки программного обеспечения с высоким уровнем полноты безопасности | high-integrity software project (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
| разработка аттестуемого встроенного программного обеспечения с высоким уровнем полноты безопасности | certifiable high-integrity embedded software development (Встроенное программное обеспечение с высоким уровнем полноты безопасности — это программное обеспечение с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций, которое реализовано в аппаратных средствах или записано в ПЗУ.  adacore.com Alex_Odeychuk) |
| разработка программного обеспечения с высоким уровнем полноты безопасности | high-integrity software development (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций Alex_Odeychuk) |
