双方就技术合作、项目拓展、市场推广等方面工作内容展开深入交流探讨。
SmartRocket TestGrid是一款嵌入式软件智能化测试工具。
SmartRocket iVerifier是一款应用于轨道交通领域的计算机联锁系统验证工具。
SmartRocket Modeler是一款国产自主可控的可视化建模开发工具。
SmartRocket PeneCAN是一款用于车载CAN、CANFD总线的渗透测试工具。
SmartRocket Scanner是一款开源组件成分资产安全与合规分析管理工具。
汽车信息安全检测平台是一个软硬件结合的汽车信息安全检测工具总成。
轨交信息安全检测平台是一款软硬件结合的一站式轨交信息安全检测平台。
依照信息安全开发流程，规范产品的安全开发过程；梳理、定义产品的信息安全功能与需求，制定相应的验证测试方案。
以车载信息安全体系为基本架构，适配高校教学和学员信息安全素养建设等实际需求，将模拟生产环境下的车辆安全测试和培训教学相结合。
车载入侵检测防御系统IDPS提供OTA升级安全、系统安全、日志存储安全、车外网络安全、车内总线安全以及GNSS欺骗等多种安全监控防护手段。
上海控安联合旗下革路团队，提供了网联安全终端单元的开放参考设计。搭载自主可控 KSE2.0 安全加密模块。
设计基于模型和形式化方法的开发与验证流程，以及相应的适航审定体系，最终达到中国民航总局、FAA、EASA等相关各方的适航审定要求。
运用机器视觉技术，通过光学装置和非接触传感器，自动接收和处理物体图像获取信息，全自动、无接触地完成PCBA产品的缺陷检测。
电话：+86 21 62655001
邮箱：marketing@ticpsh.com
地址：上海市普陀区云岭西路600弄6号楼7楼
