UML state machine implementation in FPGA devices by means of dual model and Verilog

@article{Doligalski2013UMLSM,
  title={UML state machine implementation in FPGA devices by means of dual model and Verilog},
  author={Michal Doligalski and Marian Adamski},
  journal={2013 11th IEEE International Conference on Industrial Informatics (INDIN)},
  year={2013},
  pages={177-184}
}
The paper presents the methodology of the logic controller development process based on the UML state machine diagram. The development process covers the logic synthesis and the implementation by means of the intermediate model based on Petri net formalism. The transformation between these two formal models is performed at the metamodels level according to the Model Driven Architecture (MDA). Semantics of the hierarchical configurable Petri net (HCfgPN) was adopted for the preemption and… CONTINUE READING
5 Extracted Citations
28 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 28 references

Behavioral specification diversification of reconfigurable logic controllers, ser. Lecture Notes in Control and Computer Science

  • M. Doligalski
  • Zielona Góra: University of Zielona Gra Press,
  • 2012
Highly Influential
5 Excerpts

Graphic specification of programs for reconfigurable logic controllers using Unified Modeling Language, ser. Lecture Notes in Control and Computer Science

  • G. Bazydło
  • Zielona Góra: University of Zielona Gra Press,
  • 2012
1 Excerpt

Similar Papers

Loading similar papers…