IAR公司的状态机工具,版本较新。目前在高可靠性软件设计中应用比较广泛。