PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  maszyna stanowa
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Application of time concepts from the MARTE profile in a Model- Driven Development case study
Derezińska A., Szczykulski M.
Przegląd Elektrotechniczny
|
2015
|
R. 91, nr 11
178-181
EN
Behavior of a complex system can be designed using state machines of the system classes. Using a Model-Driven Development approach models are transformed into an executable code. Structural and behavioral models can be extended with time concepts from the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile. The refined models are used in transformation. We presented a case study of a home alarm system that illustrates an application development methodology. It was used in verification of the approach implemented in Framework for eXecutable UML (FXU). This MDD tool, used for development of an C# application from UML classes and state machines, was extended with the support of MARTE time concepts.
PL
Złożone systemy są modelowane z użyciem maszyn stanowych. Transformacje modeli służą do budowy wykonywalnych aplikacji. Modele mogą być uszczegóławiane z wykorzystaniem pojęć czasowych zdefiniowanych w profilu MARTE. W pracy przedstawiono projekt systemu alarmowego ilustrującego modelowanie pojęć czasowych. Transformacja i realizacja aplikacji systemu była wykonana przy pomocy FXU - narzędzia do automatycznej generacji kodu z klas i maszyn stanowych, wspierającego transformacje modeli ze specyfikacją czasu z profilu MARTE.
2
Content available Wybrane elementy modelu systemu wspomagania eksploatacji obiektów złożonych w notacji UML
Erd A.
TTS Technika Transportu Szynowego
|
2012
|
R. 19, nr 9
1631--1640, CD
PL
W pracy omówiono zagadnienie tworzenia diagramów czynności i maszyny stanowej w zastosowaniu do uwarunkowanego diagnostycznie systemu utrzymania kolejowych pojazdów trakcyjnych. Pokazano obiekt modelowania, podejście do zagadnienia modelowania w języku UML i możliwe korzyści wynikające z tego.
EN
This paper is an attempt to use modeling methods employing the UML language for computer modeling of the complex object maintenance systems. A particular emphasis was put on the description of the system dynamics understood as changeable behavior resulting from the interaction with environment. The application case which has been selected here is a computer-aided system for railway track vehicle maintenance. A further consequence of using the models of the computer-aided maintenance systems seems to be development of design models of such systems which are more universal than the currently existing commercial versions.
3
Content available remote Specyfikacja hierarchicznej maszyny stanów UML 2.4 i jej automatyczna implementacja w języku Verilog
Bazydło G., Adamski M.
Przegląd Elektrotechniczny
|
2011
|
R. 87, nr 11
145-149
PL
W artykule przedstawiono autorską metodę syntezy behawioralnej sterowników logicznych opisanych diagramami maszyny stanowej UML 2.4. Opisano podzbiór UML wybrany do jednoznacznej, graficznej specyfikacji sterowników logicznych ze szczególnym uwzględnieniem przejść bezwarunkowych, stanów końcowych oraz przejść automatycznych (zakończeniowych). Metoda syntezy została zaimplementowana w systemie U2V umożliwiającym automatyczną implementację w języku opisu sprzętu Verilog.
EN
The paper presents a new, original method of reconfigurable logic controllers (RLC) design. It starts from behavioral specification in UML 2.4 state machine model, which is automatically converted into a structure of hierarchical network of linked state machine on Register Transfer Level (RTL) and described in XML format. Proprietary U2V CAD system transforms an initial graphical specification into a set of related XML modules and generate from them final synthesizable description in Verilog.
4
Zasotosowanie maszyny stanowej do projektowania układów wejściowych wykorzystując mikrosystem cyfrowy firmy Cypress z Programem PSoC Express
Bocian S., Iwanowski J.
Logistyka
|
2010
|
nr 6
PL
W artykule zaprezentowano przykładową realizację maszyny stanowej (automatu cyfrowego) z wykorzystaniem programu narzędziowego dla procesorów PSoC firmy Cypress - PSoC Express. Zamieszczono bloki logiczne programu wraz z komentarzami.
EN
The exemplary realization of the finite state machine (the digital automaton) with using the tool program for PSoC processors of Cypress company - PSoC Express is presented in this article. The logical blocks of program with the comments are included in it.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.