Reactive Systems, Inc.

Reactive Systems, Inc. 使dSPACE Product Partner的一员, 致力于嵌入式系统测试中的测试向量生成

Reactive Systems, Inc. 提供相关工具和服务以执行嵌入式软件测试和验证。该公司的 Reactis® 产品系列对 Simulink®/Stateflow® 和 TargetLink 模型进行自动验证,并从中生成全面而简洁的测试数据。C插件的 Reactis与Reactis无缝集成,并可对嵌入在模型中的C代码(S函数和用户定义的Stateflow代码)进行白盒分析。dSPACE和Reactive Systems之间的协作确保了Reactis和TargetLink的无缝交互。

合作伙伴项目的互补产品 简单描述 相关 dSPACE 产品
Reactis® 测试矢量生成 TargetLink

推动创新进程。我们始终在技术开发的最前沿。

欢迎订阅我们简讯,了解我们的专业技术以及产品。希望我们的成功案例能够对您有所帮助。快速了解仿真和验证的最新信息。欢迎订阅/管理dSPACE简讯和dSPACE航空速报。

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.