跳到主要内容

兆松已成为 AUTOSEMO 高级会员,未来将与行业一同前行

· 阅读需 11 分钟

作为车规安全检测工具和服务的供应商,我们很高兴宣布加入中国汽车基础软件生态协会(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

上一篇[co-design] 深度剖析 gem5,以及 gem5 和 llvm 的深度融合