StateWORKS: The Product
We offer a development environment called StateWORKS Studio complete with two sets of Run-Time System libraries required for building your applications.
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 or VFSM libraries 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. The VFSM library is available for any C++ development environment. more...
StateWORKS Products
| StateWORKS PRO (Professional Edition) | Contains StateWORKS Studio with SWExecStandard. |
| StateWORKS BASIC | Contains StateWORKS Studio with RTDB and VFSM libraries. 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". NOTE changes in 7.2 compared to 6.2 Web version |
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 |
A third-party translator/compiler has been developed (www.vitomarolda.com), for translating the StateWORKS specification results into C code. This work is aimed primarily at those embedded systems which are unsuitable for running the the entire RTDB or using VFSM library. Of course it can be used on any platform if required.