The Software
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, there is a user manual and a quick start guide available. StateWORKS Studio is designed for use with operating systems that run 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 disc-less) and non-embedded operating systems such as Windows, 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
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 can also be used on any platform when required.