| English | Russian |
| form of the objects that the system will create and manipulate at run time | форма объектов, которые система создаёт и которыми она манипулирует (ssn) |
| if all the above conditions are met except that a thread at the same priority is ready to run, then this thread will give up CPU after its timeslice expires, and the other thread will be given a chance to run | если удовлетворены все вышеизложенные условия, за исключением того, что становится готов к работе другой поток с таким же самым приоритетом, то предыдущий поток освободит процессор после того, как истечёт выделенный ему квант времени – таким образом, другой поток будет иметь шанс на обслуживание (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
| if all the above conditions are met except that a thread at the same priority is ready to run, then this thread will give up CPU after its timeslice expires, and the other thread will be given a chance to run | если удовлетворены все вышеизложенные условия, за исключением того, что становится готов к работе другой поток с таким же самым приоритетом, то предыдущий поток освободит процессор после того, как истечёт выделенный ему квант времени таким образом, другой поток будет иметь шанс на обслуживание (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
| in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| the behaviour is described by the allowed sequences of actions of the computational object that are associated with the interface. the behaviour can include internal actions of the object and will be constrained by the environment of the object, in particular by interactions at other interfaces | Поведение описывается связанными с интерфейсом допустимыми последовательностями действий вычислительного объекта. Поведение может включать в себя внутренние действия объекта и может ограничиваться средой объекта, в частности, взаимодействиями через другие интерфейсы (см. ISO/IEC 10746-1, ГОСТ Р ИСО/МЭК 10746-1-2004) |
| the convention is that when a process reaches the node at the tail of the arrow, it immediately and imperceptibly goes back to the node to which the arrow points | Условимся, что когда процесс достигает вершины у основания этой дуги, он мгновенно переходит назад к вершине, на которую указывает дуга (см. Communicating Sequential Processes by C.A.R. Hoare 1985) |
| this diagram shows a fragment of the transition logic for a task that controls the movement of a materials handling vehicle. The vehicle moves from one position to another, picking up parts in one position and dropping them off at another | эта диаграмма показывает фрагмент логики переходов для задачи, которая управляет перемещением тележки погрузочно-разгрузочных операций. Тележка перемещается от одного положения до другого, принимая детали в одном положении и сваливая их в другом (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |