Please use this identifier to cite or link to this item: http://repository.kpi.kharkov.ua/handle/KhPI-Press/7756
Title: Язык проектирования модели поведения сложной системы управления
Authors: Харченко, С. Л.
Keywords: процесс; асинхронные параллельные процессы; многопроцессорные системы управления; граф; pattern of behavior; asynchronous parallel processes; graph model of behavior
Issue Date: 2013
Publisher: НТУ "ХПИ"
Citation: Харченко С. Л. Язык проектирования модели поведения сложной системы управления / С. Л. Харченко // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Новые решения в современных технологиях. – Харьков : НТУ "ХПИ". – 2013. – № 56 (1029). – С. 37-44.
Abstract: В статье рассмотрены вопросы создания модели поведения сложной системы управления на основе применения формального языка проектирования. Это обеспечило визуализацию используемого параллелизма в модели поведения системы управления и показало возможные последовательности действий (трассы) при исполнении. Полученная модель поведения может быть использована при выполнении верификации и валидации управляющей программы системы.
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.
URI: http://repository.kpi.kharkov.ua/handle/KhPI-Press/7756
Appears in Collections:Вісник № 56

Files in This Item:
File Description SizeFormat 
vestnik_HPI_2013_56_Kharchenko_Yazyk.PDF7,7 MBAdobe PDFThumbnail
View/Open
Show full item record  Google Scholar



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.