LONDON AGP Micro has released details of xState Developer, a state machine based graphical programming tool for embedded and real-time system developers.
AGP Micro, an independent software vendor of Eclipse plug-ins for embedded and real-time systems based in Bristol, U.K., will publicly release xState Developer at the Embedded Systems Conference Boston, in September with thefirst European demonstration at the Embedded Systems Show in Birmingham, U.K, in October.
xState Developer uses a graphical hierarchical state machine notation for the development of event based logic coupled with an ANSI C code generator to provide a graphical programming tool for embedded and real-time system developers. It should decrease the number of bugs within the software implementation by using a simple hierarchical state machine notation and avoiding the complexity and ambiguities of UML State machines and State charts that can introduce bugs at the design level.
The graphical hierarchical state machine design in xState developer represents a deterministic model of the state machine, allowing the model to be checked for deterministic properties. The code generator generates ANSI C90 code with MISRA-C: 2004 support in a deterministic manor keeping the deterministic properties of the design model while adding comments to allow trace ability of features from the code to model.
xState Developer can be used with the Eclipse 3.0 or 3.1 platform and Eclipse 3.0 derived IDEs running on Windows 2000/XP or Linux/GTK2.
AGP Micro is a privately held, limited company set up by Alan Parkinson in January 2005 to follow up the work he conducted into code generation tools for his final year university project while studying at the University of the West of England (UWE). The company has a close relationship with UWE, and resides within UWE's Business incubator located in the center of Bristol.