一、自研产品明细：

科锐时汇编软件测试与分析工具CRESTS/ATAT

科锐时高级语言全数字仿真(虚拟样机)测试工具CRESTS/TESS

基于仿真机的软件测试与分析系统CRESTS/TESSC

科锐时基于真实目标机的软件开发、测试与验证工具CRESTS/RT-TEST

科锐时汇编、高级语言软件验证、开发集成系统CRESTS/AIDE

科锐时软件配置管理工具CRESTS/SCMT

科锐时license生成工具CRESTS/LCNS

二、代理产品明细:

软件测试过程管理TP-Manager

实时仿真环境创建工具--EuroSim

任务流创建(网络资源透明访问)工具SPINEware

软件全生命周期工程支撑与量化质量测评管理系统--Panorama++

通用模型化建模仿真工具MATRIXx

可靠性工程--CARE技术

高性能嵌入式软件测试工具-- CodeTEST

软件验证系统SHAM (Simulation Handling Module)

高安全性编译开发工具SCORE

嵌入式软件执行效率分析器aiT WCET

基于MIL-STD-1750A处理器高性能的Ada语言开发环境TADS

目标仿真开发工具SPACEBEL ERC-32/1750 Target Simulator

电磁兼容扫描系统--EMSCAN

CASSPER 虚拟暗室EMC测量系统

EDA电路设计产品Cadence

企业项目组合管理IBM　Rational　Portfolio软件

图形化系统设计LabVIEW

并行计算支持PBS

快速原型目标机嵌入式仿真系统CRESTS/PROTYPE

嵌入式测试系统EASTsys

HydroScat-6后向散射测量仪

水下高光谱辐射计

I-Sphere In-situ Spectrophotometer 高光谱吸收/衰减测量仪