Terms for subject Programming containing свойства безопасности

Russian	English
доказательство свойств безопасности	proving safety properties (ssn)
Имеется много средств создания встроенных устройств безопасности систем управления, так как в любом приложении, в котором имеется потенциальная возможность нанесения ущерба или потери свойств, безопасность, конечно, должна быть на первом месте	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
Кроме того, группам проекта крайне важно понимать различие между "безопасными свойствами" и "свойствами безопасности"	in addition, it is crucially important for project teams to understand the distinction between "secure features" and "security features" (см. ISO/IEC 27034-1:2011)
различие между "безопасными свойствами" и "свойствами безопасности"	distinction between "secure features" and "security features" (ssn)
свойства безопасности	security features (ssn)
свойства безопасности	safety properties (ssn)
свойства безопасности и живучести	safety and liveness properties (ssn)
свойства функциональной безопасности	contracts (functional properties; Electronic Design Alex_Odeychuk)
свойства функциональной безопасности	functional properties (Electronic Design Alex_Odeychuk)
свойства, функциональные возможности которых правильно спроектированы в отношении безопасности	features whose functionality is well engineered with respect to security (ssn)
свойство безопасности	safety property (свойство программы, утверждающее, что ничего опасного не произойдет, т.е. что программа никогда не достигнет опасного состояния. Частичная корректность, взаимное исключение и отсутствие взаимных блокировок – типичные примеры свойства безопасности ssn)
тестирование свойств безопасности	property-based testing (Alex_Odeychuk)