坚持以人才为引领，在实现高水平科技自立自强中勇担重任
支持国军标、MISRA 等静态分析 C/C++语言的单元测试和集成测试
可视化模型设计与验证 有效C代码自动生成
系统化需求撰写、管理、追溯和评审
针对工业互联网协议进行模糊测试
全方位汽车网络安全渗透、合规测试工具
扫描已知的漏洞，安全隐患和许可证风险
依照信息安全开发流程，规范产品的安全开发过程；梳理、定义产品的信息安全功能与需求，制定相应的验证测试方案。
以车载信息安全体系为基本架构，适配高校教学和学员信息安全素养建设等实际需求，将模拟生产环境下的车辆安全测试和培训教学相结合。
车载入侵检测防御系统IDPS提供OTA升级安全、系统安全、日志存储安全、车外网络安全、车内总线安全以及GNSS欺骗等多种安全监控防护手段。
上海控安联合旗下革路团队，提供了网联安全终端单元的开放参考设计。搭载自主可控 KSE2.0 安全加密模块。
设计基于模型和形式化方法的开发与验证流程，以及相应的适航审定体系，最终达到中国民航总局、FAA、EASA等相关各方的适航审定要求。
运用机器视觉技术，通过光学装置和非接触传感器，自动接收和处理物体图像获取信息，全自动、无接触地完成PCBA产品的缺陷检测。
电话：+86 21 62655001
邮箱：marketing@ticpsh.com
地址：上海市普陀区云岭西路600弄6号楼7楼
