BTC Embedded Systems AG
BTC Embedded Systems AG 是dSPACE Strategic Partner的一员， 旨在进行嵌入式系统的的正式验证、确认和自动测试。
BTC Embedded Systems AG为dSPACE TargetLink提供了BTC EmbeddedTester®, BTC EmbeddedTester BASE, BTC EmbeddedSpecifier®和 BTC EmbeddedValidator®，是dSPACE 的战略伙伴.此外，BTC Embedded Systems AG还为dSPACE AutomationDesk、 ControlDesk、 VEOS、DS1006和 SCALEXIO 提供了BTC Requirement Observers、 BTC EmbeddedSpecifier和 BTC EmbeddedTester，是dSPACE Strategic Partner 的合作公司之一.
BTC 产品大大减少了测试和验证嵌入式系统所需的时间和精力，同时显著提高了软件质量。BTC EmbeddedTester® 是一款获得认证的高度集成解决方案，用于测试 Simulink®/TargetLink® 模型和产品级代码。不仅包括基于要求的测试，还包括为自动化背靠背测试生成自动测试实例。通过BTC EmbeddedSpecifier和 BTC EmbeddedValidator用户可以直观地指定正式的安全关键型需求，并能自动、完整地执行 TargetLink 自动编码的正式验证。
与dSPACE RTT Observer Library库结合，BTC EmbeddedSpecifier允许在HIL测试期间基于仿真的正式需求验证，或通过BTC Requirement Observers进行虚拟验证。这显著增加了测试深度和测试覆盖范围，对于安全关键型系统来说尤其如此。dSPACE测试和实验工具AutomationDesk 和ControlDesk除了实现自动化和交互式测试外，还能够对需求进行持续观察。
| 合作伙伴项目的互补产品 | 简单描述 | 相关 dSPACE 产品 |
|---|---|---|
| BTC EmbeddedTester® | 针对Targetlink模型和Targetlink代码的基于需求的测试、自动背靠背测试和自动测试向量生成 | TargetLink |
| BTC EmbeddedTester Base | TargetLink 模型和代码的基于需求的测试 | TargetLink |
| BTC EmbeddedSpecifier® | 正式的需求规范 | TargetLink, AutomationDesk, ControlDesk, SCALEXIO, VEOS, DS1006 |
| BTC EmbeddedValidator® | 产品级代码的正式验证 | TargetLink |
| BTC Requirement Observers | dSPACE基于PC的实时仿真平台的需求验证 | AutomationDesk, ControlDesk, SCALEXIO, VEOS, DS1006 |
推动创新进程。我们始终在技术开发的最前沿。
欢迎订阅我们简讯，了解我们的专业技术以及产品。希望我们的成功案例能够对您有所帮助。快速了解仿真和验证的最新信息。欢迎订阅/管理dSPACE简讯和dSPACE航空速报。