AGP Micro Ltd. will soon take the wraps off its xState Developer, a state machine- based graphical programming tool for embedded and real-time system developers. It will be shown publicly for the first time at the Embedded Systems Conference next month in Boston.
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 is designed to 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 system design specification 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 manner keeping the deterministic properties of the design model while adding comments to allow trace ability of features from the code to model.
It is implemented as an Eclipse IDE plug-in, providing developers with a multi language, multi platform, multi vendor IDE for software development. 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.
The price per developer for xState Developer will be $1,050 with an optional email and telephone support contract. A fully featured evaluation copy of xState Developer will be available from the company’s web site when it is publicly released at the ESC next month.
AGP Micro Ltd.
+44 (0)117 32 85904