Subject | Russian | English |
energ.ind. | внутренне присущие свойства безопасности ядерного реактора | reactor inherent safety |
progr. | доказательство свойств безопасности | proving safety properties (ssn) |
nucl.pow. | заявленные свойства безопасности | safety claims (makaronnick) |
progr. | Имеется много средств создания встроенных устройств безопасности систем управления, так как в любом приложении, в котором имеется потенциальная возможность нанесения ущерба или потери свойств, безопасность, конечно, должна быть на первом месте | there are many means of making embedded control systems safer, as in any application which has the potential of causing injury or property loss, safety must of course be a paramount concern |
energ.ind. | канальный ядерный реактор упрощённой конструкции с внутренне присущими свойствами безопасности | inherently safe and simple tube reactor |
progr. | Кроме того, группам проекта крайне важно понимать различие между "безопасными свойствами" и "свойствами безопасности" | in addition, it is crucially important for project teams to understand the distinction between "secure features" and "security features" (см. ISO/IEC 27034-1:2011) |
energ.ind. | многоцелевой усовершенствованный ядерный реактор с внутренне присущими свойствами безопасности | multipurpose advanced reactor inherent safe |
energ.ind. | многоцелевой усовершенствованный ядерный реактор с внутренне присущими свойствами безопасности | multipurpose advanced reactor, inherent safe |
el. | модульный энергетический реактор с внутренне присущими свойствами безопасности | Power Reactor Inherently Safe Module |
data.prot. | простое свойство безопасности | simple security property (категория доступа субъекта должна быть выше или равной категории секретности объекта) |
progr. | различие между "безопасными свойствами" и "свойствами безопасности" | distinction between "secure features" and "security features" (ssn) |
el. | реактор с внутренне присущими свойствами безопасности | process inherent ultimate safety reactor |
progr. | свойства безопасности | security features (ssn) |
progr. | свойства безопасности | safety properties (ssn) |
progr. | свойства безопасности и живучести | safety and liveness properties (ssn) |
progr. | свойства функциональной безопасности | contracts (functional properties; Electronic Design Alex_Odeychuk) |
progr. | свойства функциональной безопасности | functional properties (Electronic Design Alex_Odeychuk) |
progr. | свойства, функциональные возможности которых правильно спроектированы в отношении безопасности | features whose functionality is well engineered with respect to security (ssn) |
progr. | свойство безопасности | safety property (свойство программы, утверждающее, что ничего опасного не произойдет, т.е. что программа никогда не достигнет опасного состояния. Частичная корректность, взаимное исключение и отсутствие взаимных блокировок – типичные примеры свойства безопасности ssn) |
media. | свойство безопасности | safety property (применительно к конечным автоматам заключается в корректности всех выполняемых в соответствии с заданным протоколом операций) |
progr. | тестирование свойств безопасности | property-based testing (Alex_Odeychuk) |
energ.ind. | экономичный ядерный реактор с внутренне присущими свойствами безопасности | intrinsically safe and economical reactor (самозащищённостью) |
energ.ind. | экономичный ядерный реактор с внутренне присущими свойствами безопасности | Intrinsically Safe and Economical Reactor (самозащищённости) |
energ.ind. | ядерный реактор с внутренне присущими свойствами безопасности | PIUS reactor |
energ.ind. | ядерный реактор с внутренне присущими свойствами безопасности | process inherent ultimate safety reactor |
energ.ind. | ядерный реактор с внутренне присущими свойствами безопасности | intrinsically safe reactor (самозащищённости) |