English | Russian |
a constraint on response time | некоторое ограничение на время реакции (ssn) |
a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints | Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
any time constraints | любые временные ограничения (ssn) |
Portability is complicated by real time constraints | Переносимость ПО осложнена ограничениями, накладываемыми работой в реальном времени (ssn) |
real-time constraints | ограничения, связанные с функционированием в реальном времени (корпорации AdaCore Alex_Odeychuk) |
real-time constraints | ограничения реального времени (ssn) |
real-time constraints | ограничения, связанные с работой в реальном времени (обычно характерны для систем управления (control system) ssn) |
Real-time systems are concurrent systems with timing constraints | Системы реального времени-это параллельные системы с временными ограничениями (см. Software Modeling and Design by Hassan Gomaa ssn) |
the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations | полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций (ssn) |
the software functional safety assessment produces a clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended, the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations | Оценка функциональной безопасности программного обеспечения формирует ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения, полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций (см. IEC 61508-7: 2010) |
time domain constraints | ограничения во временной области (ssn) |
Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not | Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
various real-time constraints | различные ограничения реального времени (ssn) |
within real-time constraints | в условиях ограничений реального масштаба времени (ssn) |