Detail publikace

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.
Název česky
Generování kódu pro Petriho sítěmi specifikované distribuované řídící systémy
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Richta Tomáš, Ing., Ph.D.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Kočí Radek, Ing., Ph.D. (UITS)
Klíčová slova

systems modeling; formal specification; code generation; model-driven engineering; model execution; control systems

Abstrakt

Článek se zabývá automatickou konverzí formální systémové specifikace do spustitelné podoby, která zachovává dynamickou rekonfigurovatelnost původního modelu v rámci běhu výsledného systému. Formální část práce je odvedena v podobě barvených Petriho sítí s využitím konceptu nets-within-nets a je inspirována agentní architekturou MULAN. Důležitou součástí článku je základní popis pravidel pro převod jednotlivých vrstev systému na kód a návrh distribuovaného virtuálního stroje schopného výsledný kód interpretovat.

Rok
2012
Strany
263–269
Sborník
Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012
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"
}
Nahoru