StateWORKS: The Product
We offer a development environment called StateWORKS Studio complete a Run-Time System library required for building your applications or a thinStates compiler that generates the code of the specified state machines.
StateWORKS Studio
StateWORKS Studio is a professional software development environment.The package contains:
- a VFSM editor,
- a VFSM software simulator,
- monitoring and debugging tools,
- I/O interfaces and
- a user interface framework
There is also a user manual and a quick start guide provided. StateWORKS Studio is designed for WindowsNT/2000/XP operating systems. more...
StateWORKS Runtime System
The designed specification can be linked together with the provided RTDB library to your application. The RTDB library is available for several embedded (also disc-less) and non-embedded operating systems like WindowsNT/2000/XP, Windows CE, Linux and can be provided on any other OS of your choice. more...
The thinStates compiler
The thinStates compiler translates the StateWORKS specification results into C code. This work is aimed primarily at those embedded systems which are unsuitable for running the entire RTDB library. Of course it can be used on any platform if required.
StateWORKS Products
| StateWORKS PRO (Professional Edition) | Contains StateWORKS Studio with SWExecStandard or thinStates compiler. |
| StateWORKS BASIC | Contains StateWORKS Studio with RTDB or thinStates compiler. Design limited to 300 run-time system objects. |
| StateWORKS Studio LE (Light Edition) | Only the development environment. Design limited to one VFSM only. Can read projects with any number of VFSM, so you can test all the case studies provided on our web-site. A user license can be purchased only with the book "Modeling Software with Finite State Machines: A Practical Approach". |
Variant: Feature |
PRO | BASIC | LE |
|---|---|---|---|
| SWEdit: Number of objects Number of state machines |
unlimited unlimited |
300 unlimited |
100 1 |
| SWMon | yes | yes | yes |
| SWQuickPro2 | yes | yes | yes |
| thinStates compiler | yes | yes | no |
| SWExecStandard | yes | yes | no |