logo slogan

Phaedrus Systems visualSTATE special offer 

IAR visualSTATE

 

In one integrated environment you can design, verify and validate your system, and then generate compact code and detailed documentation.

 

IAR’s visualSTATE is an affordable modelling tool for creating embedded systems, and now Phaedrus Systems is making it even more affordable.

 

This is one of the few systems designed to work well with embedded C

 

We are offering a substantial 25% discount to customers who buy an IAR compiler or have an IAR compiler on support.  This is a time limited offer until  31st December 2008

 

 

With visualSTATE you can:


* Design an embedded application by drawing objects, events, actions etc, using the powerful notation of hierarchical UML state charts and state machines

.
* Discuss the design and exchange ideas with others thanks to the model-driven design approach and the graphical design representation.


* Simulate and visualize your application to find mistakes early in the design cycle.


* Verify the logical consistency of your designs run-time model with the extremely powerful formal verificator.


* Perform extensive tests continuously and iteratively throughout your development: validation of the state machine behaviour, regression testing and automatic test coverage reporting.


* Use the C-SPY® extension to do high-level debugging on hardware with feedback in the design domain, instead of fighting with low level implementation details.


* Automatically generate error-free micro-tight C/C++ code that is 100% consistent with your design.


* Easily add new functionality to an existing application as market requirements change.


* Maintain an existing application thanks to the accurate, structured documentation that is always in-sync with the final design.


To qualify for the discounted version of visualSTATE you need to own an IAR compiler, or order one from Phaedrus Systems at the same time as you order your discounted visualSTATE.