You are here: UCM Web>UCMVirtualLibrary>VirLibSPbSPU2013c (03 Apr 2014)


Описано уточнение семантики языка UCM для моделирования систем реального времени с использованием временных задержек и параллельных потоков. Изучен подход преобразования многопоточных конструкций, временных задержек языка UCM в язык базовых протоколов. точнение семантики предложено исходя из того, что существующая версия стандарта UCM озволяет создавать семантически некорректные модели. Описанные расширения и ограничения на зык позволяют решить проблемы некорректности модели в индустриальных проектах.

(English abstract) The paper describes an approach to adjustment of semantics for UCM real time constructions in implementation of translator into Basic Protocols notation. The following constructions and their adjustment are described: multithreading and delays. The main problem of such constructions is that initial version of UCM standard allows to create semantically incorrect models. Proposed extensions and restrictions of UCM semantics allowed solving of these problems for different types of projects

-- Daniel Amyot - 03 Apr 2014


Form For Virtual Library edit

Title ОГРАНИЧЕНИЯ НА МНОГОПОТОЧНЫЕ КОНСТРУКЦИИ И ВРЕМЕННЫЕ ЗАДЕРЖКИ ЯЗЫКА UCM (Restrictions on Concurrent Construction and Time Delays of UCM Language, in Russian)
Authors I.V. Nikiforov, P.D. Drobintsev, V.P. Kotliarov
Type Journal
Conference/Journal Title SPb SPU? Journal. Computer Science. Telecommunication and Control Systems
Volume/Number 3(174)
Publisher St. Petersburg State Polytechnical University
Month -
Year 2013
Pages 148-153
Keywords UCM, Timers, Delays, Synchronization, Thread
Topic revision: r1 - 03 Apr 2014 - 14:08:44 - Daniel Amyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback