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