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

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

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

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