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航空速报。