Virtual finite-state machine


A virtual finite state machine is a finite state machine defined in a [|Virtual Environment]. The VFSM concept provides a software specification method to describe the behaviour of a control system using assigned names of input control properties and of output actions.
The VFSM method introduces an execution model and facilitates the idea of an executable specification. This technology is mainly used in complex machine control, instrumentation and telecommunication applications.

Why

The major problem by implementing of a state machine is the generation of logical conditions. In the hardware environment, where state machines have found their original use, this problem does not exist: all signals are Boolean. In contrary the state machines specified and implemented in the software require logical conditions that are per se multivalued ones.
Examples:
- Temperature can be at least Low, OK, High
- Commands may have several values: Init, Start, Stop, Break, Continue
- In a system of state machines the Slaves state machines have many states that are used in conditions of a Master state machine.
In addition many input signals can be not known due for instance to a broken cable which means that even a digital input signals are in fact 3 values signals: Low, High, Unknown. The Temperature example needs probably also the value Unknown.
A Positive Logical Algebra solves this problem by creating a Virtual Environment which allows specification of state machines for software using multivalued variables.

Control Properties

A variable in the VFSM environment may have one or more values which are relevant for the control - in such a case it is an input variable. Those values are the control properties of this variable. Control properties are not necessarily specific data values but are rather certain states of the variable. For instance, a digital variable could provide three control properties: TRUE, FALSE and UNKNOWN according to its possible boolean values. A numerical input variable has control properties such as: LOW, HIGH, OK, BAD, UNKNOWN according to its range of desired values. A timer can have its OVER state as its most significant control value; other values could be STOPPED, RUNNING etc...

Actions

A variable in the VFSM environment may be activated by actions - in such a case it is an output variable. For instance, a digital output has two actions: True and False. A numerical output variable has an action: Set. A timer which is both: an input and output variable can be triggered by actions like: Start, Stop or Reset.

Virtual Environment

The virtual environment characterises the environment in which a VFSM operates. It is defined by three sets of names:
The input names build virtual conditions to perform state transitions or input actions. The virtual conditions are built using the positive logic algebra. The output names trigger actions.
A virtual finite state machine is a finite state machine defined in a virtual environment. The VFSM concept provides a software specification method to describe the behaviour of a control system using assigned names of input control properties and of output actions.
The VFSM method introduces an execution model and facilitates the idea of an executable specification. This technology is mainly used in complex machine control, instrumentation and telecommunication applications.

Positive Logic Algebra

The rules to build a virtual condition are as follows:

Input Names and Virtual Input

A state of an input is described by Input Names which create a set.
For instance:
- for the input A: Anames =
- for the input B: Bnames =
- for the input C: Cnames =
etc.
Virtual Input VI is a set of mutually exclusive elements of input names. A VI contains always the element always.
Examples:
VI =
VI =
VI =

Logical operations on Input Names

& operation is a set of input names.
For instance
A1 & B3 & C2= >
| operation is a table of sets of input names.
For instance
A1 | B3 | C2 =>
~ is a complement of a set of input names.
For instance
~A2 =

Logical expression

A logical expression is an OR-table of AND-sets.
For instance:
A1 & B3 | A1 & B2 & C4 | C2 =>
Logical expressions are used to express any logical function.

Evaluation of a logical expression

The logical value of a logical expression is calculated by testing whether any of the AND-sets in the OR-table is a subset of VI.

Output Names and Virtual Output

A state of an output is described by Output Names which create a set.
For instance:
for an output Xnames =
for an output Ynames =
Virtual output VO is a set of mutually exclusive elements of output names.

Virtual Environment

The Virtual Name and Virtual Output completed by State Names create a Virtual Environment VE where the behavior is specified.

VFSM Execution Model

A subset of all defined input names, which can exist only in a certain situation, is called virtual input. For instance temperature can be either "too low", "good" or "too high". Although there are three input names defined, only one of them can exist in a real situation. This one builds the VI.
A subset of all defined output names, which can exist only in a certain situation is called virtual output. VO is built by the current action of the VFSM.
The behaviour specification is built by a state table which describes all details of all states of the VFSM.
The VFSM executor is triggered by VI and the current state of the VFSM. In consideration of the behaviour specification of the current state, the VO is set.
Figure 2 shows one possible implementation of a VFSM executor. Based on this implementation a typical behaviour characteristics must be considered.

State Table

A state table defines all details of the behaviour of a state of a VFSM. It consists of three columns: in the first column state names are used, in the second the virtual conditions built out of input names using the positive logic algebra are placed and in the third column the output names appear:
State NameConditionActions
Current stateEntry actionOutput name
Current stateExit actionOutput name
Current stateVirtual conditionOutput name
Current state......
Next state nameVirtual conditionOutput name
Next state nameVirtual conditionOutput name
.........

Read the table as following: the first two lines define the entry and exit actions of the current state. The following lines which do not provide the next state represent the input actions. Finally the lines providing the next state represent the state transition conditions and transition actions. All fields are optional. A pure combinatorial VFSM is possible in case only where input actions are used, but no state transitions are defined. The transition action can be replaced by the proper use of other actions.

Tools