EATMT – Rozšířený automat pro sekvenční řízení

Symbol blokuPotřebná licence: ADVANCED

Popis funkce
Blok EATMT implementuje konečný automat s maximálně 256 stavy a 256 pravidly pro přechody, čímž rozšiřuje možnosti bloku ATMT.

Současný stav automatu $i$ , $i = 0, 1, \dots, 255$ , je indikován jednotlivými bity celočíselných výstupů q0, q1, …, q15. Pouze jeden bit s indexem $i, MOD, 16$ na výstupu $q (i, DIV, 16)$ je nastaven na 1. Ostatní bity tohoto výstupu a ostatní výstupy jsou nulové. Bity jsou číslovány od nuly, začínajíce nejméně významným bitem. Všimněte si, že operátory $DIV$ a $MOD$ označují celočíselné dělení a zbytek po celočíselném dělení. Současný stav je také indikován výstupem $ksa \in 0, 1, \dots, 255$ .

Podmínky pro přechod $C_{k}$ , $k = 0, 1, \dots, 255$ , jsou aktivovány jednotlivými bity vstupů c0, c1, …, c15. $k$ -tá podmínka pro přechod je splněna, když je $(k, MOD, 16)$ -tý bit vstupu $c (k, DIV, 16)$ roven 1. Přechod jinak nemůže proběhnout.

Pro kompozici vstupních signálů c0, c1,…,c15 z jednotlivých Booleovských signálů mohou být použity bitové multiplexory BMHEXD nebo BMOCT. Podobně mohou být výstupní signály q0, q1,…,q15 dekomponovány pomocí bitových demultiplexorů BDHEXD nebo BDOCT.

Funkce automatu je definována následující tabulkou přechodů:

$S 1$	$C 1$	$F S 1$
$S 2$	$C 2$	$F S 2$
		…
$S n$	$C n$	$F S n$

Každý řádek této tabulky vyjadřuje jedno pravidlo přechodu. Např. prvý řádek

S 1

C 1

F S 1

má tento význam:

Jestliže (aktuální stav je $S 1$ AND podmínka přechodu $C 1$ je splněna),
potom přejdi do následujícího stavu $F S 1$ .

Výše popsaný význam řádku tabulky platí pro $C 1 < 1000$ . Pro $C 1 \geq 1000$ se předpokládá negace $(C 1 - 1000)$ -té podmínky pro přechod.

Výše zmíněnou tabulku lze snadno sestavit z diagramu stavů automatu nebo z popisu SFC (Sequential Function Charts, dříve Grafcet).

Vstup $R1 = on$ resetuje automat do počátečního stavu $S 0$ . Vstup SET umožňuje manuální přechod ze současného stavu do stavu ns0 při detekci náběžné hrany. Vstup R1 má přednost před vstupem SET. Vstup $HLD = on$ zastaví vykonávání automatu, takže zůstává ve svém současném stavu bez ohledu na vstupní signály c $i$ a časovač tstep se nezvyšuje. Výstup TOUT signalizuje, že stroj zůstává v daném stavu déle, než se očekávalo. Časové limity $T O i$ pro jednotlivé stavy jsou definovány polem touts. Pokud je $T O i$ nastaveno na nulu, pro daný stav neexistuje časový limit. Výstup TOUT je nastaven na off vždy, když automat změní svůj stav.

Je možné umožnit více přechodů stavů v jednom cyklu pomocí parametru morestps. Tato možnost by však měla být pečlivě zvážena a otestována, zejména pokud je výstup TOUT použit v podmínkách pro přechod. V takovém případě se silně doporučuje zahrnout do podmínek pro přechod také výstup ksa.

Vývojové nástroje REXYGEN zahrnují také program SFCEditor. Pomocí tohoto nástroje můžete graficky vytvářet schémata SFC. Tento editor spustíte z REXYGEN Studio kliknutím na tlačítko Konfigurovat v dialogu parametrů bloku EATMT.

Tento blok propaguje kvalitu signálu. Více informací je uvedeno v sekci 1.4.

Vstup

R1	Reset bloku	Bool
ns0	Cílový stav pro přechod vynucený vstupem SET	Long (I32)
SET	Vynucení přechodu do stavu ns0	Bool
HLD	Pozastavení	Bool
c0..c15	Podmínka přechodu	Long (I32)

Parametr

morestps	Povolit více přechodů mezi stavy v jednom cyklu	Bool
	off .. zakázáno on ... povoleno
sfcname	Jméno souboru pro ukládání dat speciálního editoru	String
STT	Tabulka přechodů mezi stavy $⊙$ [0 0 1; 1 1 2; 2 2 3; 3 3 0]	Short (I16)
touts	Časové limity pro jednotlivé stavy $⊙$ [1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16]	Double (F64)

Výstup

q0..q15	Indikátor aktivního stavu	Long (I32)
ksa	Celočíselná reprezentace stavu	Long (I32)
tstep	Čas uplynulý od posledního přechodu mezi stavy	Double (F64)
TOUT	Příznak překročení časového limitu pro aktuální stav	Bool

[Předchozí] [Na začátek] [Výše] [Další]