Development Environment
We offer a complete development environment, StateWORKS Studio, along with a run-time system library, essential for building your applications, and the thinStates compiler, which translates the specification into C code (for embedded systems).
StateWORKS Studio
Section titled “StateWORKS Studio”Our core development environment, StateWORKS Studio, provides a complete toolset for building and simulating systems based on VFSM.
The package includes:
- A VFSM editor,
- A VFSM software simulator,
- Monitoring and debugging tools,
- I/O interfaces, and
- A user interface framework.
Additionally, a user manual and a quick start guide are available. StateWORKS Studio is designed for use on operating systems running under Windows.
StateWORKS Runtime System
Section titled “StateWORKS Runtime System”The specified design can be integrated with your application using the provided RTDB library. This library is available for various embedded (including diskless) and non-embedded operating systems such as Windows and Linux, and can be adapted for other operating systems. For more details, refer to Building applications with RTDB or VFSM library.
thinStates Compiler
Section titled “thinStates Compiler”The thinStates compiler translates the StateWORKS specification into C code. It is primarily intended for embedded systems that cannot support the full RTDB library, but it can also be used on any platform when required.