Abstract

Описано уточнение семантики языка 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

-- DanielAmyot - 03 Apr 2014

Discussion

FormForVirtualLibrary 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 SPbSPU Journal. Computer Science. Telecommunication and Control Systems
Volume/Number 3(174)
Editors
Publisher St. Petersburg State Polytechnical University
Month -
Year 2013
Pages 148-153
DOI
Keywords UCM, Timers, Delays, Synchronization, Thread
Topic revision: r1 - 03 Apr 2014, DanielAmyot
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