The Product
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
StateWORKS Studio is a professional software development environment. The package includes:
- A VFSM editor,
- A VFSM software simulator,
- Monitoring and debugging tools,
- I/O interfaces, and
- A user interface framework.
Additionally, there is a user manual and a quick start guide available. StateWORKS Studio is designed for Windows 10/11 operating systems.
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 disc-less) and non-embedded operating systems such as Windows 10/11, Linux, and can be adapted for any other OS upon request. For more details, refer to Building applications with RTDB or VFSM library.
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 can also be used on any platform when required.