SmartRocket Unit是国内首款C语言智能化单元测试工具，可以自动生成满足语句、分支、MC/DC准则的测试用例。

SmartRocket Scanner是是国内首款采用双引擎模式分析源代码与二进制文件的漏洞扫描工具，可支持C/C++在内的10多种主流编程语言。

SmartRocket Fuzzer是一款基于动态二进制插桩的灰盒模糊测试软件，对被测程序的程序分析和插桩基于自研的动态二进制插桩平台。

SmartRocket Analyzer是一款静态代码扫描工具，采用业界独创的虚拟执行技术进行代码漏洞挖掘。

SmartRocket ilock是国内首款iLOCK型计算机联锁系统验证工具，可以自动对所有安全要求进行正式验证。

为了建设车联网安全检测和培训体系而搭建的安全检测环境。测试方案涵盖车机软件、车载通信、车内智能终端设备、车内总线等检测环境。

一款软硬件结合的一站式汽车信息安全测试工具平台，方便测试人员携带到现场，对汽车进行全方位、标准化的信息安全测试。

依照信息安全开发流程，规范产品的安全开发过程；梳理、定义产品的信息安全功能与需求，制定相应的验证测试方案。

以车载信息安全体系为基本架构，适配高校教学和学员信息安全素养建设等实际需求，将模拟生产环境下的车辆安全测试和培训教学相结合。

车载入侵检测防御系统IDPS提供OTA升级安全、系统安全、日志存储安全、车外网络安全、车内总线安全以及GNSS欺骗等多种安全监控防护手段。

上海控安联合旗下革路团队，提供了网联安全终端单元的开放参考设计。搭载自主可控 KSE2.0 安全加密模块。

设计基于模型和形式化方法的开发与验证流程，以及相应的适航审定体系，最终达到中国民航总局、FAA、EASA等相关各方的适航审定要求。

异常人群预警分析系统通过图像智能分析处理技术来监测异常人员的心理生理上的状态，对宏观振动进行动态移动的监控预警。

生理心理健康评估系统同步计算分析受测者生理、心理状态，以色谱方式即时呈现受测者实时心理活动状态。

运用机器视觉技术，通过光学装置和非接触传感器，自动接收和处理物体图像获取信息，全自动、无接触地完成PCBA产品的缺陷检测。