Modelling OpenComRTOS tasks interaction
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 waiti...
Gespeichert in:
| Veröffentlicht in: | Математичні машини і системи |
|---|---|
| Datum: | 2010 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут проблем математичних машин і систем НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/51611 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Modelling OpenComRTOS tasks interaction / V. Mezhuyev, E. Verhulst // Мат. машини і системи. — 2010. — № 2. — С. 32-41. — Бібліогр.: 9 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862709802167173120 |
|---|---|
| author | Mezhuyev, V. Verhulst, E. |
| author_facet | Mezhuyev, V. Verhulst, E. |
| citation_txt | Modelling OpenComRTOS tasks interaction / V. Mezhuyev, E. Verhulst // Мат. машини і системи. — 2010. — № 2. — С. 32-41. — Бібліогр.: 9 назв. — англ. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | 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.
У статті розроблюється й обговорюється модель взаємодії задач в операційній системі реального часу OpenComRTOS. Головна особливість запропонованого підходу – використання сутності синхронізації Hub як проміжної ланки в механізмі взаємодії задач. Проаналізована різна часова семантика процесу синхронізації задач (очікування, неочікування, очікування протягом періоду часу). Розглянуто виникнення ефекту синхронізації у випадку, коли дії задач мають різну часову семантику. Запропоновані різні підходи для розширення моделі Hub з використанням TLA (Temporal Logic of Actions) і трійок Hoare (Hoare triplets).
В статье разрабатывается и обсуждается модель взаимодействия задач в операционной системе реального времени OpenComRTOS. Главная особенность предложенного подхода – использование сущности синхронизации Hub как промежуточного звена в механизме взаимодействия задач. Проанализирована различная временная семантика процесса синхронизации задач (ожидание, неожидание, ожидание в течение периода времени). Рассмотрено возникновение эффекта синхронизации в случае, когда действия задач имеют различную временную семантику. Предложены различные подходы для расширения модели Hub с использованием TLA (Temporal Logic of Actions) и троек Hoare (Hoare triplets).
|
| first_indexed | 2025-12-07T17:19:57Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-51611 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | English |
| last_indexed | 2025-12-07T17:19:57Z |
| publishDate | 2010 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Mezhuyev, V. Verhulst, E. 2013-12-04T01:01:54Z 2013-12-04T01:01:54Z 2010 Modelling OpenComRTOS tasks interaction / V. Mezhuyev, E. Verhulst // Мат. машини і системи. — 2010. — № 2. — С. 32-41. — Бібліогр.: 9 назв. — англ. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/51611 004.451.24, 004.451.62 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. У статті розроблюється й обговорюється модель взаємодії задач в операційній системі реального часу OpenComRTOS. Головна особливість запропонованого підходу – використання сутності синхронізації Hub як проміжної ланки в механізмі взаємодії задач. Проаналізована різна часова семантика процесу синхронізації задач (очікування, неочікування, очікування протягом періоду часу). Розглянуто виникнення ефекту синхронізації у випадку, коли дії задач мають різну часову семантику. Запропоновані різні підходи для розширення моделі Hub з використанням TLA (Temporal Logic of Actions) і трійок Hoare (Hoare triplets). В статье разрабатывается и обсуждается модель взаимодействия задач в операционной системе реального времени OpenComRTOS. Главная особенность предложенного подхода – использование сущности синхронизации Hub как промежуточного звена в механизме взаимодействия задач. Проанализирована различная временная семантика процесса синхронизации задач (ожидание, неожидание, ожидание в течение периода времени). Рассмотрено возникновение эффекта синхронизации в случае, когда действия задач имеют различную временную семантику. Предложены различные подходы для расширения модели Hub с использованием TLA (Temporal Logic of Actions) и троек Hoare (Hoare triplets). en Інститут проблем математичних машин і систем НАН України Математичні машини і системи Обчислювальні системи Modelling OpenComRTOS tasks interaction Моделювання взаємодії задач у середовищі OpenComRTOS Моделирование взаимодействия задач в среде OpenComRTOS Article published earlier |
| spellingShingle | Modelling OpenComRTOS tasks interaction Mezhuyev, V. Verhulst, E. Обчислювальні системи |
| title | Modelling OpenComRTOS tasks interaction |
| title_alt | Моделювання взаємодії задач у середовищі OpenComRTOS Моделирование взаимодействия задач в среде OpenComRTOS |
| title_full | Modelling OpenComRTOS tasks interaction |
| title_fullStr | Modelling OpenComRTOS tasks interaction |
| title_full_unstemmed | Modelling OpenComRTOS tasks interaction |
| title_short | Modelling OpenComRTOS tasks interaction |
| title_sort | modelling opencomrtos tasks interaction |
| topic | Обчислювальні системи |
| topic_facet | Обчислювальні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/51611 |
| work_keys_str_mv | AT mezhuyevv modellingopencomrtostasksinteraction AT verhulste modellingopencomrtostasksinteraction AT mezhuyevv modelûvannâvzaêmodíízadačuseredoviŝíopencomrtos AT verhulste modelûvannâvzaêmodíízadačuseredoviŝíopencomrtos AT mezhuyevv modelirovanievzaimodeistviâzadačvsredeopencomrtos AT verhulste modelirovanievzaimodeistviâzadačvsredeopencomrtos |