State Machine Generation

Tue Jun 19 06:52:45 UTC 2001

----- Original Message -----
From: "Peter Müller" <peter.o.mueller at gmx.de>
To: <rtems-users at oarcorp.com>
Sent: Saturday, June 16, 2001 8:03 PM
Subject: State Machine Generation


> Looking for a tool to specify state machines I found CHSM. It can
> generate C++ code from a specification file. Does anybody know this
> tool? Other recommendations for tools? GUI is not a must.
>
> Peter
>
>
Telelogic Tau - can generate C code from SDL specification.
http://www.telelogic.com/products/sdl/
What is CHSM ? Can You send me link to it ?