Czasopismo | PRZEGLĄD ELEKTROTECHNICZNY | Rocznik 2010 - zeszyt 9

Obsługa wyja˛tków oraz stanów wznowienia w ramach dualnej specyfikacji

nr katalogowy: 55508

Dualna specyfikacja SM-HPN [4] jest alternatywna˛ metoda˛ specyfikacji sterowników cyfrowych, w odróz˙nieniu do konkurencji silnie oparta˛ na standardach[7]. Diagram maszyny stanów - be˛da˛cy jej modelem elementarnym - umoz˙liwia przedstawienie obsługi wyja˛tków oraz stanów wznowienia. Hierarchiczna siec´ Petriego - be˛da˛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. (Exceptions and deep history state handling using dual specification ) Abstract. 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. Słowa kluczowe: dualna specyfikacja, SM-HPN, maszyna stanów UML, hierarchiczna sie´c Petriego Keywords: dual specification, SM-HPN, UML state machine, hierarchical Petri net Wprowadzenie Mapy stanów Davida Harela pod postacia˛ diagramów maszyny stanów je˛zyka UML pozwalaja˛ na elastyczne i transparentne modelowanie systemów sterowania binarnego. Specyfikacja taka jest niezale˙zna od implementacji, która mi ˛edzy innymi mo˙ze by´c zrealizowana za pomoca ˛ je˛zyków opisu sprze˛ tu w strukturach reprogramowalnych FPGA[6]. Implementacja mo˙ze by´c przeprowadzona bezpo´srednio - na podstawie diagramu maszyny stanów, lub po´srednio z zastosowaniem modelu komplementarnego. W ramach dualnej specyfikacji model maszyny stanów UML pełnia˛cy role interfejsu uz˙ytkownika przekształcany jest na h[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 55508 "Obsługa wyja˛tków oraz st..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


PRZEGLĄD ELEKTROTECHNICZNY - e-zeszyt (pdf) 2010-9 licencja: Osobista Produkt cyfrowy	55.00 zł

Prenumerata

PRZEGLĄD ELEKTROTECHNICZNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

762.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	1002.00 zł brutto 927.78 zł netto 74.22 zł VAT (stawka VAT 8%)

1002.00 zł

PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD ELEKTROTECHNICZNY - papierowa prenumerata roczna	960.00 zł brutto 888.89 zł netto 71.11 zł VAT (stawka VAT 8%)
PRZEGLĄD ELEKTROTECHNICZNY - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

1002.00 zł

Zeszyt

2010-9

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma