Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Przegląd Elektrotechniczny

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: specyfikacja dualna

Sortuj według:

Ogranicz wyniki do:

Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji

Doligalski M., Adamski M.

Przegląd Elektrotechniczny

2010

R. 86, nr 9

123-125

Dualna specyfikacja SM-HPN [4] jest alternatywną metodą specyfikacji sterowników cyfrowych, w odróżnieniu do konkurencji silnie opartą na standardach[7]. Diagram maszyny stanów – będący jej modelem elementarnym – umożliwia przedstawienie obsługi wyjątków oraz stanów wznowienia. Hierarchiczna siec´ Petriego – będąca drugim komplementarnym modelem elementarnym – nie posiada takich mechanizmów[3, 5]. W artykule omówiono sposób implementacji wznowienia i wywłaszczenia w hierarchicznej sieci Petriego poprzez wprowadzenie miejsc konfiguracyjnych i spoczynkowych.

Dual specification is an alternative method for the digital logic controller specification, in contrast to the other techniques highly competitive standardsbased. State machine diagram - one of the elementary model - provides exceptions handling and history states. Hierarchical Petri net - which is the second complementary elementary model - has no such mechanisms. The article discusses how to implement the resumption and the expropriation of hierarchical Petri nets by introducing configuration and resting places.

Konwersja wybranych elementów maszyny stanów UML w ramach dualnej specyfikacji

Doligalski M.

Przegląd Elektrotechniczny

2009

R. 85, nr 7

192-195

W artykule przedstawiono metodę dywersyfikacji specyfikacji behawioralnej jako odpowiedź na zapotrzebowanie rynku na nowe techniki modelowania. Przedstawiono model dualny w postaci połączonej maszyny stanów UML oraz hierarchicznej sieci Petriego. Zastosowanie modelu dualnego pozwala na zwiększenie jakości oraz niezawodności sterownika logicznego, skraca czas projektowania. Maszyna stanów UML pełni rolę interfejsu użytkownika, izomorficzna do niej hierarchiczna sieć Petriego bazę do weryfikacji formalnej i implementacji układowej.

In the paper method of the specification diversification was proposed. Also dual model based on hierarchical Petri net and UML state machine diagram was presented as a response for market demand for new modeling techniques. The application of dual model make possible quality grow and controller developing time short. The UML state ma-chine diagram act as front-end and according to UML SM diagram Petri net as back-end - base for formal verification and implementation. The dual specification was presented in context of logical controller developing process.