Author:
Łabiak Grzegorz,Borowik Grzegorz
Abstract
Statechart-based Controllers Synthesis in FPGA Structures with Embedded Array BlocksStatechart diagrams, in general, are visual formalism for description of complex systems behaiour. Digital controllers, which act as reactive systems, can be very conveniently modeled with statecharts and efficiently synthesized in modern programmable devices. The paper presents in details syntax and semantics of statecharts and new implementation scheme. The issue of statecharts synthesis is not still ultimately solved. Main feature of the presented approach is the transformation of statechart diagrams into Finite State Machine, and through KISS format, functional decomposition and mapping into Embedded Memory Blocks. Embedded Memory are part of the modern programmable devices.
Reference26 articles.
1. Adamski M. and Węgrzyn M., "Design of reconfigurable logic controllers from petri net-based specifications," in Discrete-Event System Design - DESDes '09: preprints of the 4th IFAC Workshop, University of Valencia, University of Zielona Góra. Gandia Beach, Hiszpania: [B. m.], 2009, pp. 233-238.
2. G. Borowik, T. Łuba, and P. Tomaszewicz, "A notion of r-admissibility and its application in logic synthesis," in Discrete-Event System Design - DESDes '09: preprints of the 4th IFAC Workshop, University of Valencia, University of Zielona Góra. Gandia Beach, Hiszpania: [B. m.], 2009, pp. 233-238.
3. Statecharts: A Visual Formalism for Complex Systems;D. Harel;Science of Computer Programming,1987
4. Unified Modeling Language Specification. Version 1.4.2. ISO/IEC 19501, Object Management Group, OMG, 250 First Avenue, Needham, MA 02494, U. S. A., Apr. 2005. [Online]. Available: http://www.omg.org/cgi-bin/doc?formal/05-04-01
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献