摘要： ​据中汽协统计，2022年我国新能源汽车持续爆发式增长，销量超680万辆，已连续8年位居世界第一，保持“快车道”发展态势，引起西方发达国家的高度重视。相当一部分国家以产品全生命周期碳排放为基础，试图建立新的国际贸易壁垒：欧盟规定境内新乘用车碳排放不得高于95g/km；出台了专门针对出口到欧盟的汽车零 阅读全文

摘要： ​随着信息化和网络化的发展，航空航天领域的装备已经发展成为软件密集型系统，软件负责完成航空装备的大部分功能。资料显示，以美国的F-22战斗机为例，由软件实现的功能已经达到80%以上，航空航天领域的软件规模和重要度与日俱增。 ▲航空航天领域的软件特点 上述特点其实也是航空航天软件开发的难点所在。尤其是 阅读全文

摘要： ​“智能网联汽车存在内生共性问题，即软硬件的漏洞后门，基于此进行的网络攻击可以直接带来勒索、盗窃、大规模车辆恶意操控风险，还有数据泄露等网络安全事件。如果内生的漏洞后门问题不解决，系统自身难保，很难谈系统安全之上的数据安全、应用安全。” ——中国工程院院士邬江兴 随着汽车智能化、网联化技术发展，汽车 阅读全文

摘要： 随着新能源汽车和自动驾驶技术的快速发展，汽车电子电气架构的发展已成为汽车行业推陈出新的主要动力：车内电控系统变得越来越复杂、软件迭代周期越来越短，汽车电子软件开发和测试的质量与效率要求也越来越高。汽车电控系统的设计开发已然成为复杂的系统工程。 近年来，“基于模型的电子架构设计方式”逐步被业内所接受与 阅读全文

摘要： ​根据2022年的DevOps全球调查报告显示，主流软件企业采用或部分采用DevOps且已获得良好成效的占比已达70%，DevOps俨然成为当下软件开发研究的重要方向。 测试作为软件开发的必要过程，是提升软件可靠性、保证软件质量的关键环节。然而，从过往研究文献来看，希望通过DevOps提升软件交付效 阅读全文

摘要： ​可靠性是评估软件质量的重要属性，关键安全系统（Safety Critical Systems，SCS）对可靠性的要求尤为严格，因其一旦失效，将可能对生命、财产或环境造成重大损害。以汽车为例，ISO26262中ASIL D要求相关系统失效率低于10 Fit（Failure in time），即每千件 阅读全文

摘要： ​ 嵌入式软件（如航空电子和汽车系统）的设计、开发、测试和验证正变得越来越复杂。传统的文档驱动式环境中，一旦开发人员之间缺乏协调，软件程序生命周期的质量和成本就会受到严重影响，显然已经无法应对日益复杂的嵌入式软件生产。 正确使用基于模型的设计（Model-Based Design，以下简称MBD）方 阅读全文

摘要： ​前言：当前，复杂而泛在的软件架构支撑着全球经济，编译器和计算机高级语言正是这些软件的基石。编译器作为产生代码的工具，在加强计算机安全方面扮演着至关重要的角色。对于安全关键领域的系统软件而言，必须考虑编译器引入的错误，否则高成本的源程序级验证工作可能在目标程序级失效[1]。 保证编译器正确性的传统方 阅读全文

摘要： ​01.背景 随着信息化时代的到来，全球范围内的通信和数据传输需求急剧增加，传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求，卫星通信和数据传输技术应运而生。实体卫星的发射和运行成本非常昂贵，需要经常维护和更新，卫星通信和数据传输领域的应用也因此受到限制，一定程度上牵制了卫星 阅读全文

摘要： 纵观近百年来汽车制造业的发展历程，产业跨进的每一步背后都有着技术创新作为支撑。汽车技术创新对世界经济、社会发展、人们的生产生活方式产生了极其深远的影响。1908年，福特公司正式推出T型车，背后是其首创的汽车生产流水线；1981年，汽车第一次具备了车载导航系统——“Electro Gyrocator” 阅读全文