For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

提高安全性关键应用的测试深度

dSPACE 与 BTC 携手改进实时验证

  • 扩展经典测试方法
  • 更易符合安全标准
  • 通过最佳方式集成并跨平台使用

帕德博恩,2016 年 7 月 14 日:dSPACE 与 BTC Embedded Systems 现携手推出一款解决方案,该解决方案可以显著提高安全性关键应用实时验证的测试深度。全新的 dSPACE 实时测试 (RTT) 观测器库与经过试验和测试的规范工具 BTC EmbeddedSpecifier® 强强组合,让测试人员可以更轻松地执行基于仿真的正式验证。例如,针对测试公路车辆的功能安全,ISO 26262 标准建议采用正式验证。 

扩展经典测试方法

这款新解决方案通过所谓的“要求观测器”完善了现有的模型在环 (MIL)、软件在环 (SIL) 和硬件在环 (HIL) 环境。这些观测器始终处于活动状态,并实时监控与每项安全要求的合规情况。观测器会立即记录违反要求的任何情况,然后触发向用户发送提示消息。持续性要求监控提升了所能达到的测试深度,从而可以为每种功能覆盖更多的测试案例。此举最大程度地降低了副作用导致未能检测到错误的风险。

更易符合安全标准

通过使用 BTC EmbeddedSpecifier®,可以将通常以文本格式记录的非正式要求便利地转换为正式的表达方法,让计算机能够解释这些要求。工具支持的公式进一步提高了要求的质量,并且更易符合 ISO 26262 等安全标准。在第二步中,用户单击按钮,即可自动为 dSPACE 实时平台生成可执行观测器。而且可以随时追溯到要求的原始形式。从而能够使安全性关键应用的验证工作事半功倍。 

通过最佳方式集成并跨平台使用

通过最佳方式将观测器技术集成到 HIL 测试和虚拟验证的 dSPACE 工具链中,让用户能够在熟悉的环境中舒适地工作。并且提供了适用于测试自动化软件 dSPACE AutomationDesk 的预定义模板和适用于实验软件 dSPACE ControlDesk® 的布局。生成的观测器可用于根据基于 PC 的仿真平台 dSPACE VEOS®  上的虚拟验证执行早期验证。此外,无需对这些观测器做任何修改,即可在基于 SCALEXIO 或 DS1006 处理器板的 dSPACE HIL 系统上重复使用它们。

关于 BTC Embedded Systems
BTC Embedded Systems AG(前身为OSC)提供有关正式验证、确认和自动测试嵌入式系统的产品和服务。BTC EmbeddedSpecifier® 软件工具是 BTC EmbeddedPlatform 工作环境的主要组成部分,用于创建和管理所有类型的半正式和正式要求。BTC 同时也是 dSPACE 的 TargetLink 战略合作伙伴,其中 BTC EmbeddedTester® 允许为模型和产品代码自动生成测试和执行测试。

Further Information Contact Information