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

实时测试观测器库

实时验证安全关键要求

通过实时测试 (RTT) 观测器库,您可以利用 BTC EmbeddedSpecifier®1) 生成的要求观测器(实时测试观测器),并且在 dSPACE 平台上执行。通过持续的监控即可验证安全关键要求。

应用领域


在汽车、航空航天、医学工程和制造等许多领域常见安全关键应用。即使复杂度较高,还是需要保证功能性,而且举例来说,针对测试公路车辆的功能安全,ISO 26262 标准建议采用正式验证。通过使用实时测试 (RTT) 观测器库,您可以通过 BTC EmbeddedSpecifier®1) 在 dSPACE 平台上创建的要求观测器来持续监控您的要求。

主要优点


通过将 RTT 观测器库和 BTC EmbeddedSpecifier1) 集成到 dSPACE 工具链中,可以完善现有的模型在环 (MIL)、软件在环 (SIL) 或硬件在环 (HIL) 环境,连续实时验证安全关键要求。这种组合式的测试方法在相同的使用时条件下大幅提高了可实现的测试深度。通过最佳方式集成到 HIL 和虚拟验证的 dSPACE 工具链中,让用户能够在熟悉的环境中舒适地工作。


1) 要求新产品版本的 BTC EmbeddedSpecifier®,计划于 2016 年 7 月推出。

General
  • Execution of RTT Observers, generated by BTC EmbeddedSpecifier®1), on dSPACE platforms
  • Continuous validation of requirements during test scenarios
  • RTT Observers can be added to the running model execution as independent routines. Recompilations of the model are not necessary.
Setup package (additionally provided with RTT Observer Library license)
  • ControlDesk layout generator
  • AutomationDesk test template
  • BTC Observer Simulink® block
  • Product documentation
  • Demo files
Supported dSPACE platforms
  • SCALEXIO, SCALEXIO MC/MP2)
  • DS1006, DS1006 MC/MP2)
  • VEOS, VEOS MC2)
1) Requires a new product version of BTC EmbeddedSpecifier®, planned for July 2016.
2) MC/MP support limited to observers that operate on core-local variables.

概述


这种连续监控安全关键要求的解决方案使用各种工具组合,组合依不同应用而变。这需要使用下列任意工具:


  • 实时测试观测器库 – 接受通过 BTC EmbeddedSpecifier®1) 生成的要求观测器并在 dSPACE 平台上执行。
  • BTC EmbeddedSpecifier®1) – 将非正式要求转换为正式表达方式,然后转换为要求观测器,甚至不需要具备专业知识。这种正式的、工具支持的方法还提高了要求的质量。
  • dSPACE 平台 – SCALEXIO®、DS1006 或 VEOS® – 每个测试阶段的正确平台。
  • ControlDesk® – 通用的模块化实验和观测软件。通过 RTT 观测器特定布局以及加载、开始和停止观测器的功能,可以在全部执行过程中监控每个要求的状态。如果违反任何要求,均会在布局中直接显示。
  • AutomationDesk – 用于测试编写和自动化的强大工具。受监控的要求根据定义的测试工作流程来进行检查。测试报告还包括观测器结果,因此可以轻松跟踪任何违反要求的原因。

1) 要求新产品版本的 BTC EmbeddedSpecifier®,计划于 2016 年 7 月推出。

Press Releases Support Contact Information