Харченко, С. Л.2014-07-212014-07-212013Харченко С. Л. Язык проектирования модели поведения сложной системы управления / С. Л. Харченко // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Новые решения в современных технологиях. – Харьков : НТУ "ХПИ". – 2013. – № 56 (1029). – С. 37-44.https://repository.kpi.kharkov.ua/handle/KhPI-Press/7756В статье рассмотрены вопросы создания модели поведения сложной системы управления на основе применения формального языка проектирования. Это обеспечило визуализацию используемого параллелизма в модели поведения системы управления и показало возможные последовательности действий (трассы) при исполнении. Полученная модель поведения может быть использована при выполнении верификации и валидации управляющей программы системы.The paper deals with creating a complex pattern of behavior management system based on the use of the formal language of design. Which provided visualization used in the model of concurrency control system behavior and the possibility of action sequences (the track) with the performance. The resulting pattern of behavior may be useful in the verification and validation of the control program of the system.ruпроцессасинхронные параллельные процессымногопроцессорные системы управленияграфpattern of behaviorasynchronous parallel processesgraph model of behaviorArticle