Formal Verification Package for VEOS and HIL

Observe your safety critical requirements in real-time on a dSPACE system!

面向于VEOS 及 HIL的形式验证插件

面向于VEOS 和 HIL 的形式验证插件

“面向于VEOS 和 HIL 的形式验证插件”是由 BTC Embedded Systems 公司和 dSPACE 公司联合开发的运行于 dSPACE 仿真平台的一套自动测试解决方案。该方案主要要两部分组成:一是 BTC 的形式测试套件,二是dSPACE Real Time Testing(RTT)Observer Library。在dSPACE 仿真平台上运行由 BTC 形式测试套件生成的观察器代码(“WatchDogs”),从而离线或实时自动判定仿真结果是否违反需求。

 

由于可以自动并行执行多个需求观察器判定,您可以连续地对每条需求自动验证所有的测试用例。通过此技术,在不改变现有测试流程的基础上,大幅的增加测试深度。另外本解决方案和 dSPACE 的产品比如 ControlDesk Next Generation 及 AutomationDesk 无缝集成,让您更舒适便捷地在不同的项目中使用需求观察器技术。

了解更多请参考 dSPACE 公司网站: www.dspace.com