Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: diagramy maszyny stanowej

Sortuj według:

Ogranicz wyniki do:

System do komputerowego projektowania programów dla rekonfigurowalnych sterowników logicznych

Bazydło G.

Informatyka Teoretyczna i Stosowana

2007

R. 7, nr 11

89-100

Do specyfikacji programów dla rekonfigurowalnych sterowników logicznych wykorzystywanych jest wiele metod zarówno graficznych, jak i opartych o format tekstowy. Graficzne metody są bardziej intuicyjne w stosowaniu, ale za to specyfikacje tekstowe lepiej nadają się do dalszego przetwarzania. Niestety brak jest uniwersalnej metody, która z jednej strony pozwalałaby na wizualne modelowanie za pomocą języka UML złożonych z hierarchicznych systemów współbieżnych, z drugiej zaś byłaby odpowiednia jako wejście dla zewnętrznych systemów umożliwiających przeprowadzenie symulacji, syntezy implementacji układu. W niniejszej pracy przedstawiono metodę translacji programów dla sterowników logicznych opisanych diagramami UML 2.0 do języka opisu sprzętu Verilog. Zaletą proponowanej metody jest możliwość graficznego projektowania układów cyfrowych, a cały proces translacji może odbywać się automatycznie, bez ingerencji użytkownika. Zwrócono także uwagę na możliwość używania do specyfikacji sterowników logicznych, często darmowych, narzędzi UML. Praktyczną weryfikacją proponowanej metody jest opracowana aplikacja UML-XML2Verilog, która umożliwia automatyczną translację diagramów UML 2.0 opisanych w języku XML do języka Verilog. Omawiane zagadnienia poparte zostały stosownymi przykładami.

The Unified Modeling Language (UML) is a language for specifying, visualizing, constructing, and documenting artifacts of software systems, as well as for business modeling and other non-software systems. The UML represents a collection of the best engineering practices that have proven successful in modeling large and complex systems. The current version of the language is 2.1.1. The UML language contains thirteen kinds or diagrams (structure and behavior diagrams). One of the behavior diagrams is a stare machine diagram that defines a set of concepts that can be used for modeling discrete behavior through finite state transition systems. The UML language can be used not only for designing software systems, but also for other kinds of them, for example reactive systems. This paper presents a method of using the UML language for behavioral specification for reconfigurable logic controllers. Emphasis is put on diagrams that represent behavioral stare machines, because they refer directly to the definition of Finite State Machines. It is worth mentioning that state machine diagrams support various features of the modeling systems such as hierarchy and orthogonality. This support allows for designing the behavior of the complex and orthogonal systems in an intuitive and clear way, on the selected hierarchical level. Also a possibility of using another UML diagrams was discussed, e.g. use case diagrams or activity diagrams. The farmer can be applied to analyze the user's needs and interface of the designed device. The activity diagrams can be used to prepare test benches for the modeled system. But the main method to model the behavior of a system are state machine diagrams. The paper shows a way to transform and detail the UML specification to the form that is acceptable by contemporary, industrial logic controllers. The UML specification can be used to generate an effective program in a Hardware Description Language (HDL), especially Verilog. Also a possibility of freeware UML tools was discussed. As practical verification of proposed method an UML-XML2Verilog application was implemented.