ВИКОРИСТАННЯ МЕТАМОДЕЛІ ДЛЯ ПОБУДОВИ МОДЕЛЕЙ ВЗАЄМОДІЇ ЗАДАЧ В ОПЕРАЦІЙНІЙ СИСТЕМІ РЕАЛЬНОГО ЧАСУ

Виталий Иванович Межуев

Анотація


В статье строятся и исследуются свойства моделей взаимодействий задач в операционной системе реального времени OpenComRTOS. Главная особенность предложенного подхода состоит в использовании метамодели для построения моделей взаимодействий, обладающих заданными свойствами. В частности, рассмотрено возникновение эффекта синхронизации в случае, когда действия задач имеют различную временную семантику.

Ключові слова


модель; метамодель; взаимодействие задач; операционная система реального времени.

Повний текст:

PDF (Русский)

Посилання


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.


Посилання

  • Поки немає зовнішніх посилань.