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