Part I

In this video it is shown how easy it is to use the sinelaboreRT code generator. We create a small state diagram. The diagram is then converted into C-code using the code generator.

Then a basic main.c file shows how to send events to the state machine and execute it.

To follow the tutorial on your own download the demo version of sinelaboreRT and the Cadifra UML editor from the download page. A C-compiler is needed (e.g. gcc) too to compile the C-code.

(5.4MB, 5:17min)

Part II

In the second part of the video tutorial we extend the first example. S1 will be changed into a composite state (i.e. a state with children). Two child states and several transitions will be added too.

Then the state machine C-code will be generated again using the code generator. In the next step the main.c file will be extended to send one of the new events to the machine.

Finally it is shown how to generate testcases from the state diagram. The automatically generated test cases provide a good basis for testing the state diagram.

(8MB, 5:40min)