ATMT – Finite-state automaton

Block SymbolLicensing group: STANDARD

Function Description
The ATMT block implements a finite state machine with at most 16 states and 16 transition rules.

The current state of the machine $i$ , $i = 0, 1, \dots, 15$ is indicated by the binary outputs Q0, Q1, …, Q15. If the state $i$ is active, the corresponding output is set to Q $i$ =on. The current state is also indicated by the ksa output ( $ksa \in {0, 1, \dots, 15}$ ).

The transition conditions $C_{k}$ , $k = 0, 1, \dots, 15$ are activated by the binary inputs C0, C1, …, C15. If $C k = on$ the k-th transition condition is fulfilled. The transition cannot happen when $C k = off$ .

The automat function is defined by the following table of transitions:

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

Each row of this table represents one transition rule. For example the first row

S 1

C 1

F S 1

has the meaning

If ( $S 1$ is the current state AND transition condition $C 1$ is fulfilled),
then proceed to the following state $F S 1$ .

The above mentioned table can be easily constructed from the automat state diagram or SFC description (Sequential Function Charts, formerly Grafcet).

The $R1 = on$ input resets the automat to the initial state $S 0$ . The SET input allows manual transition from the current state to the ns0 state when rising edge occurs. The R1 input overpowers the SET input. The $HLD = on$ input freezes the automat activity, the automat stays in the current state regardless of the C $i$ input signals and the tstep timer is not incremented. The TOUT output indicates that the machine remains in the given state longer than expected. The time limits $T O i$ for individual states are defined by the touts array. There is no time limit for the given state when $T O i$ is set to zero. The TOUT output is set to off whenever the automat changes its state.

It is possible to allow more state transitions in one cycle by the morestps parameter. However, this option must be thoroughly considered and tested, namely when the TOUT output is used in transition conditions. In such a case it is strongly recommended to incorporate the ksa output in the transition conditions as well.

The development tools of the REXYGEN system include also the SFCEditor program. You can create SFC schemes graphically using this tool. Run this editor from REXYGEN Studio by clicking the Configure button in the parameter dialog of the ATMT block.

This block propagates the signal quality. More information can be found in the 1.4 section.

Input

R1	Block reset	Bool
ns0	Target state forced by the SET input	Long (I32)
SET	Forced transition to state ns0	Bool
HLD	Hold	Bool
C0	Transition condition	Bool
C1	Transition condition	Bool
C2	Transition condition	Bool
C3	Transition condition	Bool
C4	Transition condition	Bool
C5	Transition condition	Bool
C6	Transition condition	Bool
C7	Transition condition	Bool
C8	Transition condition	Bool
C9	Transition condition	Bool
C10	Transition condition	Bool
C11	Transition condition	Bool
C12	Transition condition	Bool
C13	Transition condition	Bool
C14	Transition condition	Bool
C15	Transition condition	Bool

Parameter

morestps	Allow multiple transitions in one cycle	Bool
	off .. Disabled on ... Enabled
sfcname	Name of special editor data file	String
STT	State transition table $⊙$ [0 0 1; 1 1 2; 2 2 3; 3 3 0]	Byte (U8)
touts	Vector of timeouts $⊙$ [1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16]	Double (F64)

Output

Q0	Active state indicator	Bool
Q1	Active state indicator	Bool
Q2	Active state indicator	Bool
Q3	Active state indicator	Bool
Q4	Active state indicator	Bool
Q5	Active state indicator	Bool
Q6	Active state indicator	Bool
Q7	Active state indicator	Bool
Q8	Active state indicator	Bool
Q9	Active state indicator	Bool
Q10	Active state indicator	Bool
Q11	Active state indicator	Bool
Q12	Active state indicator	Bool
Q13	Active state indicator	Bool
Q14	Active state indicator	Bool
Q15	Active state indicator	Bool
ksa	Integer code of the active state	Long (I32)
tstep	Time elapsed since the last state transition	Double (F64)
TOUT	Timeout flag	Bool

[Previous] [Back to top] [Up] [Next]