StateWORKS: Technical Notes

Here you can find all published technical notes. We sorted them into three groups:

Software Engineering

Specifying control software instead of coding -
the only reasonable way of dealing with complex applications.
Why UML will not do? -
the most talked about modeling methods are not suitable for specifying an application.

A Flowchart is not a State Machine -
a flowchart is merely a means to shows code flow
Moore or Mealy model: that's the question -
the finite state machine has two basic models called Moore and Mealy
Going beyond the limitations of IEC 61131-3 -
standard IEC 61131-3 is an incomplete specification of a state machine
StateWORKS IO-Unit for Velleman K8055 (or VM110) boards -
programming the K8055 board without writing a single line of code
Completeness of information -
full specification of a control system requires completness of information
What's All This State Machine Stuff? -
a concept of a finite state machines is the strongest idea in the design of a software control flow
Life time of control signals and generating events, illustrated by a Turing machine -
an input signal is not only an event; it has a well defined life time
Event driven state machines -
a parser is a specific type of a finite state machine

The Virtual Environment -
a new approach to control specifications
What is StateWORKS? -
a specification tool and a run-time environment
Hierarchical system of state machines -
the only known concept of well organized system of state machines
Usage of commands (CMD) and inter-VFSM communication -
the command-state interface makes systems of state machines a reality
Usage of the String object (STR) -
a description of the RTDB string object
How to Write GUI for a StateWORKS application -
The RTDB TCP/IP server is the base of a GUI design
Standard Interface for StateWORKS Standard Executor -
demonstrates the basic idea of writing an I/O handler for RTDB
Debugging of state machines -
replaces debugging of program code
Password for StateWORKS run-time systems -
TCP/IP communication with RTDB may be safeguarded against malicious attacks
Testing with StateWORKS -
StateWORKS allows powerful automatic testing of application control
Integrating external finite state machines into a StateWORKS System -
a distributed application is considered as a single entity
Complement control values in the VFSM concept -
a useful extension to multivalued control signals
Using tcp/ip channels as an I/O interface -
Tcp/ip channels in RTDB
Break states in the VFSM executor -
Tcp/ip channels in RTDB
PID Regulator -
Tcp/ip channels in RTDB
Traffic Light 2 -
Alternative solution not using Complex Expressions

Follow this link to get the Adobe AcrobatReader