Bristol, U.K. xState Developer from AGP Micro Limited 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 September 13, 2005.
AGP Micro Ltd. , +44 (0)177 32 85904, www.agpmicro.com