Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > T&M

Bug-repelling graphical programming tool plugs into Eclipse platform

Posted: 29 Aug 2005 ?? ?Print Version ?Bookmark and Share

Keywords:xstate developer? agp micro? graphical programming tool? software bug? unified modeling language?

The xState Developer from AGP Micro Ltd is a state-machine-based graphical programming tool for developers of embedded and real-time systems that harnesses graphical hierarchical state-machine notation to cut the number of software bugs in event-based logic.

Said to avoid the bugs that can be introduced at the design level by the complexity and ambiguities of Unified Modeling Language (uml) and state charts, xState Developer combines state-machine notation with an ANSI C code generator. The resulting design represents a model of the state machine that can be check for deterministic properties.

Specifically, the code generator creates ANSI C90 code with MISRA-C:2004 support in a manner that retains the deterministic properties of the design model while adding comments to impart traceability of features from code to model.

xState Developer works as a plug-in for the Eclipse 3.0 and 3.1 platform as well as integrated development environments derived from Eclipse 3.0 that run on Windows XP and Linux/GTK2. The price is $1,050 per developer seat. E-mail and telephone support is optional. xState Developer will be available after Sept. 13, 2005.

- Gil Bassak


Article Comments - Bug-repelling graphical programming ...
*? You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.

Back to Top