技术产品及解决方案

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

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

  • 软件成分分析工具

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

  • 模糊测试工具

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

  • 静态分析工具

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

  • 联锁验证工具

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

  • 工控信息安全功能开发及测试验证解决方案

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

  • 车载信息安全实训解决方案

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

  • 车载入侵检测防御解决方案

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

  • 车载T-Box安全加固解决方案

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

  • 机载软件系统适航审定解决方案

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

  • 异常人群监测预警系统

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

  • 生理情绪辅助分析系统

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

  • PCB板光学质量检测系统

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

安全服务

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

  • 邮箱:marketing@ticpsh.com

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

  • 了解更多