English | Russian |
aerospace real-time system | аэрокосмическая система реального времени (Alex_Odeychuk) |
Because real-time systems are used in critical application, conservative approaches have been traditionally used in their design | Поскольку системы реального времени используются в критических приложениях, для их разработки традиционно применялись консервативные подходы (ssn) |
behavior of a real-time system | поведение систем реального времени (ssn) |
complex real-time system | сложная система реального времени (ssn) |
complex real-time systems | сложные системы реального времени (ssn) |
continuous real-time system | система непрерывного реального времени (ssn) |
continuous real-time systems | системы непрерывного реального времени (ssn) |
correctness of a complex real-time system | корректность сложных систем реального времени (ssn) |
design of real-time systems | проектирование систем реального времени (Alex_Odeychuk) |
designed for real-time systems | предназначенный для решения задач реального времени (Alex_Odeychuk) |
determining the amount of priority inversion in a real-time system | определение количества инверсий приоритета в системе реального времени (ssn) |
discrete real-time system | дискретная система реального времени (ssn) |
discrete real-time systems | дискретные системы реального времени (ssn) |
firm real-time system | система твёрдого реального времени (допускается небольшое нарушение критических сроков обслуживания, но большее нарушение может привести к катастрофическому отказу системы Alex_Odeychuk) |
guaranteeing the correctness of a complex real-time system | обеспечение корректности сложных систем реального времени (ssn) |
hard real-time system | HRT система (ssn) |
hard real-time system | система жёсткого реального времени (в такой системе (приложении) все времена обработки должны каждый раз выдерживаться (гарантироваться, соблюдаться), иначе система не будет правильно работать, что может привести к самым серьёзным последствиям. Поэтому в качестве синонима используется термин – mission critical application. Системы жёсткого реального времени применяются, как правило, для управления авиационной, военной и ракетно-космической техникой ssn) |
hard real-time systems | системы жёсткого реального времени (ssn) |
high-level programming language designed for real-time systems | язык программирования высокого уровня, предназначенный для решения задач реального времени (Alex_Odeychuk) |
large real-time system | большая система реального времени (корпорации AdaCore Alex_Odeychuk) |
meet the demands of real-time systems | удовлетворять требованиям к системам реального времени (Alex_Odeychuk) |
method for specifying and verifying discrete real-time systems | метод спецификации и верификации дискретных систем реального времени (ssn) |
methods for verifying continuous real-time systems | методы верификации систем непрерывного реального времени (ssn) |
model for the real-time system | модель системы реального времени (ssn) |
modelling real-time systems | моделирование систем реального времени (ssn) |
more powerful techniques to analyze the behavior of a real-time system | более мощные методы анализа поведения систем реального времени (ssn) |
On-line transaction systems, airline reservation systems are soft real-time systems | Примерами систем мягкого реального времени являются системы резервирования авиабилетов и онлайновые системы обработки транзакций (Kanaka Juvva ssn) |
powerful tool for analyzing real-time systems | мощный инструмент для анализа систем реального времени (ssn) |
range of real-time systems | диапазон систем реального времени (ssn) |
realization of real-time systems | реализация систем реального времени (ssn) |
real-time system | система реального времени (а) компьютерная система, реагирующая на события в приемлемое для управления порождающим их процессом время. В системах бронирования билетов это время может составлять до трёх секунд, а при управлении полётом ракеты – десятые доли секунды; б) операционные системы, предназначенные для диспетчеризации задач реального времени. СРВ делятся на системы жёсткого реального времени (hard real-time system) и системы мягкого реального времени (soft real-time system) ssn) |
real-time system modeling | моделирование систем реального времени (Microsoft Alex_Odeychuk) |
real-time system verification | верификация систем реального времени (ssn) |
real-time systems and applications | системы и приложения реального времени (ssn) |
Real-time systems are concurrent systems with timing constraints | Системы реального времени-это параллельные системы с временными ограничениями (см. Software Modeling and Design by Hassan Gomaa ssn) |
real-time systems that control power plants, spacecraft, and so on | системы реального времени, управляющие электростанциями, космическими аппаратами и т.д. (ssn) |
related methods for verifying real-time systems | родственные методы верификации систем реального времени (ssn) |
requirement of a real-time system | требование, выдвигаемое к системам реального времени (как к классу систем Alex_Odeychuk) |
scheduling in real-time systems | планирование в системах реального времени (ssn) |
soft real-time system | система псевдореального времени (Alex_Odeychuk) |
soft real-time system | SRT система (ssn) |
soft real-time system | система мягкого реального времени (в такой системе допускается пропуск обработки некоторого события, и результат работы системы при этом не нарушится ssn) |
soft real-time systems | системы мягкого реального времени (ssn) |
techniques to analyze the behavior of a real-time system | методы анализа поведения систем реального времени (ssn) |
testing of real time systems | тестирование систем реального времени (Alex_Odeychuk) |
this type of model is often used for modelling real-time systems | этот тип модели особенно полезен для моделирования систем реального времени (ssn) |
this type of model is often used for modelling real-time systems because these systems are often driven by stimuli from the system's environment | этот тип модели особенно полезен для моделирования систем реального времени, поскольку этими системами обычно управляют входные сигналы, приходящие из окружения системы (см. Software engineering, 8th ed. / Ian Sommerville 2007) |
validation of real-time systems | проверка систем реального времени (ssn) |
verifying continuous real-time systems | верификация систем непрерывного реального времени (ssn) |
verifying real-time systems | верификация систем реального времени (ssn) |