Показати простий запис статті

dc.contributor.author Mezhuyev, V.
dc.contributor.author Verhulst, E.
dc.date.accessioned 2013-12-04T01:01:54Z
dc.date.available 2013-12-04T01:01:54Z
dc.date.issued 2010
dc.identifier.citation Modelling OpenComRTOS tasks interaction / V. Mezhuyev, E. Verhulst // Мат. машини і системи. — 2010. — № 2. — С. 32-41. — Бібліогр.: 9 назв. — англ. uk_UA
dc.identifier.issn 1028-9763
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/51611
dc.description.abstract The model of tasks interaction in Open Communication Real Time Operation System (OpenComRTOS) is developed and discussed in the paper. The main feature of the proposed approach is the using the intermediate hub entity for decoupling interacting tasks. Different temporal semantics (waiting, non waiting and waiting timeout) of tasks synchronization mechanism is introduced. Emerging the effects (i.e. synchronisation or the absence of it) in the case when the tasks actions have different temporal semantics is analysed. The different approaches for expanding the hub model with using TLA and Hoare triplets are proposed. uk_UA
dc.description.abstract У статті розроблюється й обговорюється модель взаємодії задач в операційній системі реального часу OpenComRTOS. Головна особливість запропонованого підходу – використання сутності синхронізації Hub як проміжної ланки в механізмі взаємодії задач. Проаналізована різна часова семантика процесу синхронізації задач (очікування, неочікування, очікування протягом періоду часу). Розглянуто виникнення ефекту синхронізації у випадку, коли дії задач мають різну часову семантику. Запропоновані різні підходи для розширення моделі Hub з використанням TLA (Temporal Logic of Actions) і трійок Hoare (Hoare triplets). uk_UA
dc.description.abstract В статье разрабатывается и обсуждается модель взаимодействия задач в операционной системе реального времени OpenComRTOS. Главная особенность предложенного подхода – использование сущности синхронизации Hub как промежуточного звена в механизме взаимодействия задач. Проанализирована различная временная семантика процесса синхронизации задач (ожидание, неожидание, ожидание в течение периода времени). Рассмотрено возникновение эффекта синхронизации в случае, когда действия задач имеют различную временную семантику. Предложены различные подходы для расширения модели Hub с использованием TLA (Temporal Logic of Actions) и троек Hoare (Hoare triplets). uk_UA
dc.language.iso en uk_UA
dc.publisher Інститут проблем математичних машин і систем НАН України uk_UA
dc.relation.ispartof Математичні машини і системи
dc.subject Обчислювальні системи uk_UA
dc.title Modelling OpenComRTOS tasks interaction uk_UA
dc.title.alternative Моделювання взаємодії задач у середовищі OpenComRTOS uk_UA
dc.title.alternative Моделирование взаимодействия задач в среде OpenComRTOS uk_UA
dc.type Article uk_UA
dc.status published earlier uk_UA
dc.identifier.udc 004.451.24, 004.451.62


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис