-
Fuzz测试:提升自动驾驶安全性
纵观近百年来汽车制造业的发展历程,产业跨进的每一步背后都有着技术创新作为支撑。汽车技术创新对世界经济、社会发展、人们的生产生活方式产生了极其深远的影响。1908年,福特公司正式推出T型车,背后是其首创的汽车生产流水线;1981年,汽车第一次具备了车载导航系统——“Electro Gyrocator”,Electro Gyrocator(电子陀螺仪导航器)由日本本田和阿尔派公司合作推出,装配在第二代
2023-05-15 digiproto
-
汽车领域:国产基础软件问题与展望
当前,中国汽车产业正处于由大向强的伟大历史转折进程中,在供给侧和需求侧的双向推动下,汽车产业正由功能时代向智能时代演进,汽车产业新格局正在加速形成。
2022-10-13 digiproto
-
ModelCoder:实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto