兆松已成为 AUTOSEMO 高级会员，未来将与行业一同前行
作为车规安全检测工具和服务的供应商，我们很高兴宣布加入中国汽车基础软件生态协会（AUTOSEMO），成为 AUTOSEMO 的高 级会员单位。此举将促进兆松科技与其他同行业企业的交流合作，推动整个车规安全检测领域的发展和进步。
兆松的车规安全检测工具包括涵盖 ISO26262 的软件代码和硬件 RTL 代码检测工具（zchecker）。车规安全检测的核心技术是编译技术，静态分析，错误注入，形式化验证，AI 辅助验证等，兆松科技在此领域具有超过 20 年的行业经验。除了提供能检测 MISRA C, MISRA C++(AUTOSAR C++), CERT C 等安全规范的工具之外，兆松还提供其他交叉检测软硬件编程语言安全规范的 ROS 操作系统，抽象解释等其他检测工具，除了可以覆盖软件车规安全，还可以覆盖芯片 RTL 设计当中的安全规范检测。
加入 AUTOSEMO 对于兆松而言意义重大。AUTOSEMO 是中国本土的汽车产业生态联盟，旨在为中国汽车行业提供面向下一代汽车的标准化的基础软件架构、方法论和应用程序接口标准。AUTOSEMO 汇聚了 80 多家整车企业和汽车软件供应商，包括中国一汽、蔚来、小鹏、芯旺微电子、RedHat、Arm China 等等，通过开展各种活动、项目和研究来促进本土汽车行业的协作、创新和发展。作为 AUTOSEMO 的高级会员单位，兆松科技将有机会参与更多汽车行业内部的会议、论坛和研讨会，并能够借此机会了解行业最新趋势和前沿技术。
此外，兆松科技也将分享自己在车规安全检测领域的经验和技术，在轻松获得市场认可的同时也能够不断提高自身的技术水平，以推进本土汽车行业的安全标准和实践。
公司拥有一支技术过硬、经验丰富的研发团队，作为 AUTOSEMO 的高级会员单位，兆松将继续为汽车行业的安全和可靠性作出贡献，为车企提供高质量、高效、高性价比的车规安全检测工具和服务。
--------END--------
兆松科技是一家专业做编译和仿真的初创公司，由前晶心科技研发副总王东华博士于 2019 年底创立。研发总监伍华林曾就职于晶心科技，S3 Graphics，Imagination，拥有 10 余年 CPU/GPU 编译器研发经验。欢迎关注兆松科技公众号！
公众号
收录于合集#仿真器
2
上一篇
鄂公网安备 42018502007513