首页 > 产品与服务 > 通用仿真工具 > Simulink模型测试和验证 Simulink模型测试和验证

RSI(Reactive Systems, Inc.)总部位于美国,成立于1999年,主要产品有:ReactisReactis C plug-in是针对Simulink/StateFlow或者TargetLink模型的测试和验证工具;Reactis for C是面向C代码的测试和验证工具。

基于模型的设计(Model-Based Design)的设计方法以其直观、快速、高效等优势,在汽车、航空航天等的基于模型的开发嵌入式控制系统设计中得到广泛的应用。传统方式的设计方法是先设计的硬件系统原型实体,然后进行测试并在后续的设计中不断改进,但是在硬件阶段发现问题很难,而且需要大量的时间和成本。基于模型的设计就是先建立算法模型、物理模型以及环境模型,然后基于MATLAB与Simulink平台,进行系统测试与仿真,在后续的设计中不断进行仿真,再用自动代码创建工具产生实际系统所需的软件代码。实际上是将测试提前到了仿真阶段,设计制造人员能尽早发现并解决问题。基于模型的设计在最后阶段要进行硬件原型测试,主要是为了验证良好的设计,并不是要找出不良的设计。基于模型的设计过程中,模型的测试和验证至关重要,Reactis是业界领先的软件工具,可直接使用Simulink/Stateflow和TargetLink模型进行测试和验证。

 

Cybernet是Reactive Systems, Inc.在中国大陆的总代理,为用户提供专业的技术支持和服务。

Reactis
Reactis for C Plugin
Reactis for C Standlone