Язык проектирования модели поведения сложной системы управления

Ескіз

Дата

2013

ORCID

DOI

item.page.thesis.degree.name

item.page.thesis.degree.level

item.page.thesis.degree.discipline

item.page.thesis.degree.department

item.page.thesis.degree.grantor

item.page.thesis.degree.advisor

item.page.thesis.degree.committeeMember

Назва журналу

Номер ISSN

Назва тому

Видавець

НТУ "ХПИ"

Анотація

В статье рассмотрены вопросы создания модели поведения сложной системы управления на основе применения формального языка проектирования. Это обеспечило визуализацию используемого параллелизма в модели поведения системы управления и показало возможные последовательности действий (трассы) при исполнении. Полученная модель поведения может быть использована при выполнении верификации и валидации управляющей программы системы.
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.

Опис

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

процесс, асинхронные параллельные процессы, многопроцессорные системы управления, граф, pattern of behavior, asynchronous parallel processes, graph model of behavior

Бібліографічний опис

Харченко С. Л. Язык проектирования модели поведения сложной системы управления / С. Л. Харченко // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Новые решения в современных технологиях. – Харьков : НТУ "ХПИ". – 2013. – № 56 (1029). – С. 37-44.

Колекції

item.page.endorsement

item.page.review

item.page.supplemented

item.page.referenced