技术产品及解决方案

  • 功能安全工具
  • 信息安全工具
  • 解决方案
  • 单元测试工具

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

  • 软件成分分析工具

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

  • 模糊测试工具

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

  • 静态分析工具

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

  • 联锁验证工具

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

安全服务

检测评估
功能安全检测实验室(筹建)
车载以太网协议一致性测试平台
汽车信息安全检测实验室
功率半导体器件测试验证平台
立体车库安全检测评估平台
监测预警
工业威胁情报共享平台
智能门锁监测预警平台
仿真验证
水务工控信息安全仿真验证平台
培训咨询
功能安全研究院
信息安全研究院
汽车研究院
控安学院
知识服务
行业研究报告
51fusa功能安全社区
轩辕实验室
科普知识
公共服务
格炬工业互联网安全服务平台
关于我们
平台立足上海,发挥长三角区域产业优势,面向汽车电子、轨道交通、航空航天等安全攸关领域,聚焦工业控制系统功能安全和信息安全核心技术研发及成果转化,协同既有国家级和省部级技术创新平台,形成涵盖技术研发、仿真验证、监测预警、培训咨询、产业对接等功能服务,打造连接政府、产业上下游企业、科研院校、社会资本等相关主体的技术创新和产业生态服务平台。
  • 电话:+86 21 62655001

  • 邮箱:marketing@ticpsh.com

  • 地址:上海市普陀区云岭西路600弄6号楼7楼

  • 了解更多