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