Detail výsledku

Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems

RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems. Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012. Praha: Faculty of Electrical Engineering, Czech Technical University, 2012. p. 263-269. ISBN: 978-80-01-04985-3.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Richta Tomáš, Ing., Ph.D., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Kočí Radek, Ing., Ph.D., UITS (FIT)
Abstrakt
This paper deals with the problem of automated conversion of formal system specification to the executable implementation that preserves the reconfigurability of the original model within its runtime. Formal part of the work is based on Coloured Petri Nets formalism extended with the nets-within-nets structural paradigm introduced by Valk. This paradigm reduces the partitioning problem using multiple levels of abstraction within modeling. Described solution aims to produce
the distributed control system using five levels of abstraction and a set of translation rules that produces the target prototype. The main contribution of the paper is the introduction of mapping rules that are used for prototype generation and the concept of distributed virtual machine that interprets Petri Nets specifications and supports the reconfigurability of the system.
Klíčová slova
systems modeling; formal specification; code generation; model-driven engineering; model execution; control systems
Rok
2012
Strany
263–269
Sborník
Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012
Konference
15th International Conference on Mechatronics (Mechatronika)
ISBN
978-80-01-04985-3
Vydavatel
Faculty of Electrical Engineering, Czech Technical University
Místo
Praha
BibTeX 
@inproceedings{BUT97002,
  author="Tomáš {Richta} and Vladimír {Janoušek} and Radek {Kočí}",
  title="Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems",
  booktitle="Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012",
  year="2012",
  pages="263--269",
  publisher="Faculty of Electrical Engineering, Czech Technical University",
  address="Praha",
  isbn="978-80-01-04985-3"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru