Search
Language of design of model of behavior of complex system
View/ Open document files
Author
Date
2014Publisher
БрГТУCitation
Harchenko, S. L. Language of design of model of behavior of complex system / S. L. Harchenko, D.V. Bagaev // Робототехника и искусственный интеллект. Проблемы и перспективы = Robotics and Artificial Intelligence. Problems and Perspectives : материалы международной научно-практической конференции, Брест, 4–6 ноября 2013 г. / Министерство образования Республики Беларусь, Брестский государственный технический университет ; редкол.: В. С. Рубанов (гл. ред.) [и др.]. – Брест : БрГТУ, 2014 – С. 21-30. – Библиогр.: с. 30 (1 назв.).Annotation in another language
The paper deals with creating а соmрlех pattern of behavior controls technical system based оn the use of the formal language of design. Which provided visualization used in the model of concurrency control system behavior and the pos sibllity of action sequences (the track) with the performance. The resulting pattern of behavior тау bе useful in the verification and validation of the control program of the technical system.
Keywords - pattern of behavior, а process, asynchronous para/lel processes, multi
processor control system, the graph model of behavior.
Collection
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция-Некоммерчески») 4.0 Всемирная.