System SMCAD wspomagający projektowanie częściowo rekonfigurowalnych sterowników logicznych

• Autorzy: Doligalski M. , Mrowiec P.

Warianty tytułu

EN

SMCAD system supporting design of partial reconfigurable logic controllers

• Języki publikacji: PL

Abstrakty

PL

Rozwój technologii półprzewodnikowych, dynamiczny wzrost pojemności i funkcjonalności układów FPGA stwarza nowe możliwości funkcjonalne, które z powodów ograniczeń współcześnie stosowanego oprogramowania projektowego nie mogą być w pełni wykorzystanie. W referacie opisano moduł graficznego edytora systemu SMCAD - wspomagającego projektowanie oraz przeprowadzenie procesu częściowej rekonfiguracji sterowników logicznych. W artykule opisano moduł graficzny systemu SMCAD, który umożliwia modelowanie behawioralne sterowników logicznych z wykorzystaniem diagramów maszyny stanów UML.

EN

Evolution of silicon technology, dynamic growth of FPGA device capacity and functionality requires introducing new techniques and developing new design tools. The application of a Petri net as a form of specification is a common solution used in the field of discrete systems. The application of the UML language, especially the state machine diagrams, is a perfect solution. These diagrams enable the hierarchical modelling of programs with concurrent elements. The UML language makes it possible to shorten the time of designing such a system and to optimise the use of hardware resources of the controller. There is no editor of the UML state machine diagrams dedicated to logic controller developing. In this paper the graphical editor module of an SMCAD system is presented. The SMCAD system is driven on reprogrammable logic controller partial reconfiguration. The new graphical editor enables behavioural modelling based on the UML state machine diagrams. Section 2 describes the graphical editor advantages compared to the existing, classical, software engineering driven UML tools like: Sybase Power Designer, ArgoUML, StarUML. It also gives the reasons for implementing the new editor. The supported subset of the UML state machine diagrams is presented in Section 3. In Section 4 there is shown an example of the manufacturing process outline (Fig. 2). The process of developing logic controller specification for the exemplary schema is also contained in this section. The behavioural specification in form of the UML state machine diagrams (Figs. 3 and 5) shows the partial reconfiguration process. The graphic specification was exported in the SCXML format (Fig. 8). Lack of possibility of do actions specification justifies the proposal of SCXML standard extension (Fig. 8).

Słowa kluczowe

PL

UML; maszyna stanów; rekonfigurowalny sterownik logicznych; SMCAD; częściowa rekonfiguracja

EN

UML; state machine; reprogrammable logic controller

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2009
• Tom: R. 55, nr 7
• Strony: 504--507
• Opis fizyczny: Bibliogr. 9 poz., rys.,

Twórcy

autor

Doligalski M.

autor

Mrowiec P.

• Uniwersytet Zielonogórski,

Bibliografia

• [1] M. Adamski, A. Karatkevich, M. Węgrzyn (red): Design of embedded control systems, Springer, New York 2005.
• [2] F. Basile, P. Chiacchio, D. Del Grosso: Modelling sutomation systems by UML and Petri Nets, Proceedings of the 9th International Workshop on Discrete Event Systems Gooteborg, IEEE, 2008.
• [3] M. Doligalski, Specyfikacja programów sterowania oparta na hierarchicznym modelu maszyny stanów UML, Michał Doligalski, IX International PHD Workshop - OWD 2007. Wisła, Polska, 2007.- Warszawa, 2007. - Conference Archives PTETiS, Vol. 23, s. 299-304.
• [4] M. Doligalski, M. Węgrzyn, Metody częściowej rekonfiguracja układów FPGA, Przegląd Telekomunikacyjny i Wiadomości Telokomunikacyjne .- 2008, nr 6, s. 773-775.
• [5] D. D. Gajski, F. Vahid, S. Narayan, J. Gong, Specification and Design of Embedded Systems, P T R Prentice Hall, New Jersey 1994.
• [6] G. Łabiak: Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych, Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, Zielona Góra 2005.
• [7] C. Kao: Benefits of Partial Reconfiguration, Xcell Journal, Xilinx Inc. 2005.
• [8] P. Mrowiec: Projekt i implementacja aplikacji do modelowania systemów sterowania binarnego (w opracowaniu).
• [9] M. Węgrzyn: Częściowa rekonfiguracja sterowników binarnych opisanych sieciami Petriego, Pomiary Automatyka Kontrola, 2006, nr 6, s. 26-28.