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