产品动态-凯发官方首页

       基于模型（mathworks simulink/stateflow）的测试、仿真和验证工具reactis 的新版本v2012.2 已经正式发布并且可以下载了，在软件维护期内的用户可以从reactis user pages界面下载v2012版本。
       新版本修复了一些bug，并且带来了多处改进：
•  支持matlab r2012b和simplified initialization mode。
•  模块初始化的速度更快。
•  新版本开发出了新的特性-configuration variable sets，它能够支持指定变量之间的依赖关系。
•  改进了reactis for c plugin模块，对于使用浮动license的管理，管理员可以断开用户收回license。