产品名称及功能	先期认 证验证	详细设计 开发(编码)	测试	产品 交付	维护
自 主 产 权 产 品	汇编语言全数字仿真(虚拟样机)平台工具CRESTS/ATAT	√	√	√	√	√
	高级语言全数字仿真(虚拟样机)平台工具 CRESTS/CodeCast	√	√	√	√	√
	基于仿真目标机的半物理仿真平台系统 CRESTS/TESSC(SCT-Cast)(SHAM)	√	√	√	√	√
	基于真实目标机的半物理仿真平台系统 CRESTS/RT-TEST(RT-Cast)	√	√	√	√	√
	汇编、高级语言软件验证、开发集成系统 CRESTS/AIDE	√	√
	软件配置管理工具 CRESTS/SCMT		√		√
	License生成工具 CRESTS/LCNS
	快速原型目标机嵌入式仿真系统 CRESTS/PROTYPE	√	√	√	√	√
	嵌入式应用仿真测试系统 CRESTS/EASTsys	√	√	√	√	√
	软件测试过程管理TP-Manager			√	√
代 理 产 品
	实时仿真环境创建工具--EuroSim	√	√	√	√	√
	任务流创建(网络资源透明访问)工具SPINEware	√	√	√	√	√
	通用模型化建模仿真工具MATRIXx	√	√	√	√	√
	高安全性编译开发工具SCORE		√
	实时操作系统DEOS		√	√
	实时操作系统HeartOS		√	√
	基于MIL-STD-1750A处理器高性能的Ada语言开发环境DACS&TADS		√
	目标仿真开发工具SPACEBEL ERC-32/1750 Target Simulator	√	√
	图形化系统设计LabVIEW	√	√	√	√	√