1） System Simulator
是提高软件可靠性彻底的嵌入式系统验证者。
通过简单的组合可自动生成仿真环境。
用GAIO’s ISS(Internet Security Systems)和MATLAB/Simulink®可支持协同验证。
2）CasePlayer2
通过分析源代码可创建程序的文档。
增加新开发的源代码的软件可靠性。
可帮助理解己存在的软件资源。
3）CoverageMaster winAMS
是嵌入式软件单元的自动测试工具。
用嵌入式微处理器的目标代码来执行单元测试。
从静态分析工具CasePlayer2产生所需的输入测试数据。
单元测试工具在汽车电控（ECU）开发领域的销售业绩。