State Charts are increasingly polular as a methodology to design a system. Ideally one would like to be able to generate the application code directly from such State Charts. As the leading vendor for Embedded Development Tools for microcontrollers IAR Systems has developed a complete End-to-End State-Machine Development toolsuite suite for embedded development. The IAR visualSTATE® toosuite includes advanced features like formal verification and generates Apllication-ready code.
|
|
IAR visualSTATEŽ - Overview
IAR visualSTATE® a set of highly sophisticated and easy-to-use development tools for designing, testing and implementing embedded applications based on state machines.
It provides advanced verification and validation utilities and generates very compact C/C++ code that is 100% consistent with your system design. In addition, the new and revolutionizing integration with IAR Embedded Workbench& ... |
| |
|
|
IAR visualSTATEŽ - Navigator
The Navigator is used for the overall handling of your embedded development project. From here you can launch the other modules of visualSTATE® and you can specify settings for the Verificator and the Coder.
The Navigator contains a tree browser where you can see the file structure of your workspace. A workspace is a file that contains one or more projects with systems and state chart files. ... |
| |
|
|
IAR visualSTATEŽ - Designer
The Designer is a state-of-the-art tool for designing state machines. The tree browser allows you to overview and navigate through your embedded project. All elements of the system are visible and accessible through the browser, and a double-click on the desired element brings up the appropriate configuration dialog box on the screen.
< picture >
In the main window you create your ... |
| |
|
|
IAR visualSTATEŽ - Validator
To find out whether your state machine design behaves as intended, you use the Validator. You test and validate your application by sending events into the design model, and in the different windows you can see the results of the events. The validator can also use the Designer to animate the applications response directly on your state machine diagram.
Test sequences can be recorded to a lo ... |
| |
|
|
IAR visualSTATEŽ - Verificator
Formal Verification / Exploring the state space
How do you test that your state machine design model and embedded application does not contain any of the following problematic properties?
* State, Local and System wide dead lock conditions
* Conflicting transitions between states
* Unreachable states, i.e. states that cannot ... |
| |
|
|
IAR visualSTATEŽ - Prototyping
The prototyping concept of visualSTATE® makes your communication with marketing and customers much easier. It will help you increase the awareness and knowledge of your product before it is launched. Your sales force and technical support staff will already be well acquainted with the product and able to introduce the product on the market rapidly.
<< picture >>
Alrea ... |
| |
|
|
IAR visualSTATEŽ - Coder
IAR visualSTATE® generates code for your embedded state machine design— automatically. This gives you the benefit of having control logic code that is 100% consistent with the design. visualSTATE employs a technology that ensures fully deterministic execution of your state machine code. Both execution time and sequence are deterministic. There is no possibility for race conditions to occ ... |
| |
|
|
IAR visualSTATEŽ - Integration
The generated code must be integrated into the target application. The generated code will execute the control logic defined in the state chart diagrams. The code is ready to be used in target, but it must be combined with a user-written main loop that can interpret it. You must also implement device drivers for capturing the events. visualSTATE® includes two APIs that function as the interfac ... |
| |
|
|
IAR visualSTATEŽ - Documenter
With the Documenter you can easily create an up-to-date documentation report on your visualSTATE® project. The report includes information on design, validation, simulation, verification, generated code and implementation. All relevant project information is collected from the other visualSTATE modules and organized into a structured document in Rich Text Format or HTML.
Within the ... |
| |
