Modelling OpenComRTOS tasks interaction

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Математичні машини і системи
Datum:2010
Hauptverfasser: Mezhuyev, V., Verhulst, E.
Format: Artikel
Sprache:English
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
id nasplib_isofts_kiev_ua-123456789-51611
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
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Modelling OpenComRTOS tasks interaction
spellingShingle Modelling OpenComRTOS tasks interaction
Mezhuyev, V.
Verhulst, E.
Обчислювальні системи
title_short Modelling OpenComRTOS tasks interaction
title_full Modelling OpenComRTOS tasks interaction
title_fullStr Modelling OpenComRTOS tasks interaction
title_full_unstemmed Modelling OpenComRTOS tasks interaction
title_sort modelling opencomrtos tasks interaction
author Mezhuyev, V.
Verhulst, E.
author_facet Mezhuyev, V.
Verhulst, E.
topic Обчислювальні системи
topic_facet Обчислювальні системи
publishDate 2010
language English
container_title Математичні машини і системи
publisher Інститут проблем математичних машин і систем НАН України
format Article
title_alt Моделювання взаємодії задач у середовищі OpenComRTOS
Моделирование взаимодействия задач в среде OpenComRTOS
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).
issn 1028-9763
url https://nasplib.isofts.kiev.ua/handle/123456789/51611
citation_txt Modelling OpenComRTOS tasks interaction / V. Mezhuyev, E. Verhulst // Мат. машини і системи. — 2010. — № 2. — С. 32-41. — Бібліогр.: 9 назв. — англ.
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
first_indexed 2025-12-07T17:19:57Z
last_indexed 2025-12-07T17:19:57Z
_version_ 1850870854768918528

Ähnliche Einträge