A state machine is a behavior model. It consists of a finite number of states and is therefore also called finite-state machine (FSM). Based on the current state and a given input the machine performs state transitions and produces outputs. There are basic types like Mealy and Moore machines and mor...
itemis CREATE, is a modular toolkit for developing, simulating, and generating executable finite-state machines (FSM) or simply state machines.
This chapter gives an overview of the building blocks a statechart consists of and their semantics. It also shows the textual syntax used to express behavior inside the graphical model. If you are new to itemis CREATE, this is a good starting point to learn the main concepts. This reference also app...
itemis CREATE for Eclipse is our most advanced version, offering additional features that are currently exclusive to the Eclipse platform. This version is designed for users who need advanced capabilities beyond the standard web version. Whether you’re looking for enhanced testing features, deeper i...
With itemis CREATE for Visual Studio Code, you can easily create complex systems in a visual way. Simulate and test your system’s behavior already while you are modeling. Code generators translate your state machine into high-quality source code for different target platforms.
itemis CREATE is now available for seamless cloud access, eliminating the need for installation. With just a web browser, you can instantly start creating and managing your projects, collaborate with your team, and take advantage of all the powerful features that itemis CREATE offers. This cloud-bas...
Ultimately, you will need your state machine not only as a nice graphical statechart model. This chapter explains how to generate it as executable code.
itemis CREATE supports you with testing of statecharts and generated state machines. Learn more about test-driven statechart modelling and how to use SCTUnit to develop your statechart model step by step using a test-driven approach.
itemis CREATE provides a formal definition of statecharts which allows execution and code generation. This formalization is provided by the statechart language, which is used to describe statecharts. It consists both of graphical and of textual elements.
This chapter demonstrates how to integrate generated C code from itemis CREATE on your device and ends up by referring to according examples for each scenario. State machine code generated by itemis CREATE can effectively be used on embedded systems. The integration contains different parts, but can...
A list of new and noteworthy features as well as bugs we have tackled down in the particular releases.