ВИКОРИСТАННЯ МЕТАМОДЕЛІ ДЛЯ ПОБУДОВИ МОДЕЛЕЙ ВЗАЄМОДІЇ ЗАДАЧ В ОПЕРАЦІЙНІЙ СИСТЕМІ РЕАЛЬНОГО ЧАСУ
DOI:
https://doi.org/10.32626/2308-5916.2010-3.125-137Ключові слова:
модель, метамодель, взаимодействие задач, операционная система реального времени.Анотація
В статье строятся и исследуются свойства моделей взаимодействий задач в операционной системе реального времени OpenComRTOS. Главная особенность предложенного подхода состоит в использовании метамодели для построения моделей взаимодействий, обладающих заданными свойствами. В частности, рассмотрено возникновение эффекта синхронизации в случае, когда действия задач имеют различную временную семантику.Завантаження
Посилання
Verhulst E. An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS / E. Verhulst, G. Jong, V. Mezhuyev // Lecture Notes in Computer Science. FM 2008 : Formal Methods. — Heidelberg : Springer Berlin, 2008. — P. 411—418.
Verhulst E. OpenComRTOS : A Runtime Environment for Interacting Entities / E. Verhulst, V. Mezhuyev, Bernhard H. C. Sputh [et al.]; P. Welch, H. Roebbers, T. Announced (eds.) // Communicating Process Architectures 2009. — IOS Press, 2009. — P. 173 — 184.
Межуев В. И. Предметно-ориентированное моделирование распределенных параллельных приложений реального времени / В. И. Межуев // Системи обробки інформації. — 2010. — Вип. 5 (86). — С. 98—103.
Hoare C. A. R. Communicating Sequential Processes. Published by Prentice Hall / C. A. R. Hoare // International Series in Computer Science. — 1985. — 276 p.
Timed CSP : A Retrospective / J. Ouaknine, S. Schneider // Electronic Notes in Theoretical Computer Science. — 2006. — 162 (1). — P. 273—276.
Hoare C. A. R. An Axiomatic Basis for Computer Programming / C. A. R. Hoare // Communications of the ACM. — Vol. 12, N 10. — Р. 576—583.
Lamport L. Specifying systems : the TLA+ language and tools for hardware and software engineers / L. Lamport // Addison-Wesley, Boston. — 2002. — 364 p.
Floyd R. W. Assigning meanings to programs / R. W. Floyd, J. T. Schwartz (еd.) // Proc. of Symposium on Applied Mathematics. — 1967. — Vol. 19. — Р. 19—32.
Rosenband D. Modular Scheduling of Guarded Atomic Actions / D. Rosenband // Proc. of the 41st Design Automation Conference (DAC'04) (San Diego, June 7—11, 2004). — San Diego, California, USA, 2004. — P. 8.
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Автори, які публікуються в цьому журналі, погоджуються з наступними умовами:
Автори зберігають авторські права та надають журналу право першої публікації роботи, одночасно ліцензованої за ліцензією Creative Commons Attribution License, яка дозволяє іншим поширювати роботу з посиланням на авторство роботи та її першу публікацію в цьому журналі.
Автори можуть укладати окремі додаткові договірні угоди щодо неексклюзивного розповсюдження опублікованої в журналі версії роботи (наприклад, розміщувати її в інституційному репозиторії або публікувати в книзі) з посиланням на її першу публікацію в цьому журналі.
Авторам дозволяється та заохочується публікувати свої роботи онлайн (наприклад, в інституційних репозиторіях або на своєму вебсайті) до та під час процесу подання, оскільки це може призвести до продуктивного обміну, а також до більш раннього та більшого цитування опублікованих робіт (див. The Effect of Open Access).
