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