Book
StateWORKS is described in great detail in the book “Modeling Software with Finite State Machines: A Practical Approach”.
Welcome to StateWORKS
StateWORKS™ uses a software engineering method that employs design practices as sound as those used to engineer hardware, bridges, and airplanes. It takes the coding out of software and truly puts the “engineering” back into software! Our approach has a practical answer to software complexity.
Before continuing, it is recommended that you read the article “About State Machines”.
With StateWORKS, your software team will increase its productivity, with dramatic reductions in development time and on-time delivery, every time!
Having been around for several years, this technique is extremely reliable and has been applied successfully to a wide variety of projects, particularly in highly complex systems: embedded systems, telecommunications, measurements, etc. The created applications run on Windows, Linux, and any other operating system, even on small microprocessors.
Model-Based Software Development
Section titled “Model-Based Software Development”StateWORKS is a complete method, from development to runtime, for creating high-quality software through models: software behavior is expressed as a system of finite state machines. Very large, complex systems can be handled by using many state machines in a hierarchical structure; the complexity is fully managed. In fact, the top levels of the hierarchy constitute a specification of the project that is clear enough to be discussed with management, marketing, or customers.
Our tools, including multimode editors, allow engineers to express application requirements so completely and in such detail that the executable application can be generated without writing any code. By almost eliminating coding and debugging, this method delivers phenomenal productivity gains and dramatically reduced development time. Bugs are eliminated in the design process, not left for the “test” or “maintenance” phase. Applications developed with StateWORKS are well documented and maintainable.
Executables are fast and efficient. Simply link them with our libraries and run the application on any operating system or processor.
Explore Further
Section titled “Explore Further”Advantages
Read about the advantages of using StateWORKS. It is not only beneficial for developers, but also for managers!
Why StateWORKS?
Skeptical about StateWORKS? Have you heard it all before? And what’s wrong with writing code? Besides, everyone is talking about UML, so why use StateWORKS?
thinStates compiler
C code can also be generated using the thinStates compiler, corresponding to the system of state machines that you have specified. This gives you more flexibility, such as the ability to use StateWORKS in microcontroller applications.
DocumentationCheck out our comprehensive manuals, tutorials, and case studies.