| Russian | English |
| автоматическое получение аттестуемого объекта информатизации | certified code generation (говоря об объекте информатизации, аттестуемом органом по аттестации на период, в течение которого обеспечивается неизменность условий функционирования объекта информатизации и технологии обработки информации, могущих повлиять на характеристики, определяющие безопасность информации (состав и структура технических средств, условия размещения, используемое программное обеспечение, режимы обработки информации, средства и меры защиты). Владелец аттестованного объекта информатизации несет ответственность за выполнение установленных условий функционирования объекта информатизации, технологии обработки информации и требований по безопасности информации Alex_Odeychuk) |
| аттестуемая среда выполнения | certifiable run-time (adacore.com Alex_Odeychuk) |
| аттестуемое встроенное приложение | certifiable embedded application (adacore.com Alex_Odeychuk) |
| аттестуемое программное обеспечение | certifiable software (adacore.com Alex_Odeychuk) |
| аттестуемый объект информатизации | certifiable application (adacore.com Alex_Odeychuk) |
| генератор аттестуемых объектов информатизации | qualifiable code generator (корпорации AdaCore; аттестуемый объект информатизации (приложение) – объект информатизации, аттестуемый органом по аттестации на период, в течение которого обеспечивается неизменность условий функционирования объекта информатизации и технологии обработки информации, могущих повлиять на характеристики, определяющие безопасность информации (состав и структура технических средств, условия размещения, используемое программное обеспечение, режимы обработки информации, средства и меры защиты). Владелец аттестованного объекта информатизации несет ответственность за выполнение установленных условий функционирования объекта информатизации, технологии обработки информации и требований по безопасности информации Alex_Odeychuk) |
| генерация кода аттестуемого объекта информатизации | qualifiable code generation (корпорации AdaCore; напр., говоря об объекте информатизации, аттестуемом по требованиям безопасности информации органом по аттестации на период, в течение которого обеспечивается неизменность условий функционирования объекта информатизации и технологии обработки информации, могущих повлиять на характеристики, определяющие безопасность информации (состав и структура технических средств, условия размещения, используемое программное обеспечение, режимы обработки информации, средства и меры защиты). Владелец аттестованного объекта информатизации несет ответственность за выполнение установленных условий функционирования объекта информатизации, технологии обработки информации и требований по безопасности информации Alex_Odeychuk) |
| генерация кода аттестуемых объектов информатизации | qualifiable code generation (говоря о коде объекта информатизации, аттестуемом по требованиям безопасности информации; корпорации AdaCore Alex_Odeychuk) |
| имитационное моделирование аттестуемого объекта информатизации | qualifiable simulation (корпорации AdaCore; говоря об объекте информатизации, аттестуемом органом по аттестации на период, в течение которого обеспечивается неизменность условий функционирования объекта информатизации и технологии обработки информации, могущих повлиять на характеристики, определяющие безопасность информации (состав и структура технических средств, условия размещения, используемое программное обеспечение, режимы обработки информации, меры и средства защиты, в т.ч. сетевые помехоподавляющие фильтры Alex_Odeychuk) |
| инструментальное средство генерации кода аттестуемых объектов информатизации | qualifiable code generation tool (корпорации AdaCore; говоря об объектах информатизации, аттестуемых органом по аттестации на период, в течение которого обеспечивается неизменность условий функционирования объекта информатизации и технологии обработки информации, могущих повлиять на характеристики, определяющие безопасность информации (состав и структура технических средств, условия размещения, используемое программное обеспечение, режимы обработки информации, средства и меры защиты). Владелец аттестованного объекта информатизации несет ответственность за выполнение установленных условий функционирования объекта информатизации, технологии обработки информации и требований по безопасности информации Alex_Odeychuk) |
| компиляция кода аттестуемого объекта информатизации | qualifiable compilation (корпорации AdaCore; говоря о коде объекта информатизации, аттестуемом органом по аттестации на период, в течение которого обеспечивается неизменность условий функционирования объекта информатизации и технологии обработки информации, могущих повлиять на характеристики, определяющие безопасность информации (состав и структура технических средств, условия размещения, используемое программное обеспечение, режимы обработки информации, меры и средства защиты, в т.ч. сетевые помехоподавляющие фильтры). Владелец аттестованного объекта информатизации несет ответственность за выполнение установленных условий функционирования объекта информатизации, технологии обработки информации и требований по безопасности информации. В случае изменения условий и технологии обработки информации владелец аттестованного объекта информатизации обязан известить об этом орган по аттестации, который принимает решение о необходимости проведения дополнительной проверки эффективности системы защиты объекта информатизации Alex_Odeychuk) |
| разработка аттестуемого встроенного программного обеспечения с высоким уровнем полноты безопасности | certifiable high-integrity embedded software development (Встроенное программное обеспечение с высоким уровнем полноты безопасности — это программное обеспечение с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций, которое реализовано в аппаратных средствах или записано в ПЗУ.  adacore.com Alex_Odeychuk) |
