IAR 公司的状态机建模软件,版本比较新,适合高性能软件编程中的辅助工具