Skip to content
StateWORKS
Search
Ctrl
K
Cancel
Email
GitHub
Select theme
Dark
Light
Auto
Home
Introduction
Silver Bullet
Overview
The Solution
What is StateWORKS
Advantages
Overview
Advantages for Managers
Advantages for Programmers
Why StateWORKS
General FAQ
Technology
Technology of Specification
Finite State Machine
FSM
FSM Example
Myths about state machines
Virtual Finite State Machine
Case Studies
Solutions
Overview
Diameter Failover
Traffic Light Solution
Technical FAQ
Software
Overview
StateWORKS Studio
StateWORKS Runtime System
thinStates C Compiler
SWExecStandardLE
Building Applications
Download
Book
Overview
Table of Contents
Preface
Chapter
About Us
Company
History
References
Publications
Overview
The Virtual Finite State Machine Design and Implementation Paradigm
PDF
VFSM Executable Specification
PDF
Real-Time Software Design
Modeling Reliable Software
Software Modelling
State Machine Misunderstandings
Technical Notes
Overview
Software Engineering
Specifying control software instead of coding
Why UML will not do?
State Machines
About State Machines
A flowchart is not a state machine
Moore or Mealy Model
Going Beyond Limitations of IEC 61131
StateWORKS IO Unit for Velleman boards
Completeness of Information
Whats All This State Machine Stuff
Lifetime of control signals and generating events
Event driven state machines
StateWORKS Basics
The Virtual Environment
What is StateWORKS?
Hierarchical systems of state machines
Usage of commands (CMD) and inter VFSM communication
Usage of the String object (STR)
How to write GUI for a StateWORKS application
Standard Interface for StateWORKS Standard Executor
Debugging State Machines
Password for StateWORKS runtime systems
Testing with StateWORKS
Integrating external finite state machines
Complement Control Values in VFSM Concept
VFSM Executor Library
Using TCP/IP channels as an I/O interface
Break States in the VFSM Executor
PID Regulator
Traffic Light 2
Docs
Overview
Manuals
Getting Started
Users Guide
XML-VFSM-ML
IO_CppExample
thinStates C Compiler
Tutorials
Specifying State Machine
Specifying System of State Machines
Specifying RTDB
Case Studies
Calculator
Gas Control
Dining Philosophers
Microwave oven control
StateWORKS in Industrial Control
Traffic Light Control
Email
GitHub
Select theme
Dark
Light
Auto
VFSM Executable Specification
The paper is currently only available in pdf format:
get as PDF