摘要:
可靠性是评估软件质量的重要属性,关键安全系统(Safety Critical Systems,SCS)对可靠性的要求尤为严格,因其一旦失效,将可能对生命、财产或环境造成重大损害。以汽车为例,ISO26262中ASIL D要求相关系统失效率低于10 Fit(Failure in time),即每千件 阅读全文
摘要:
嵌入式软件(如航空电子和汽车系统)的设计、开发、测试和验证正变得越来越复杂。传统的文档驱动式环境中,一旦开发人员之间缺乏协调,软件程序生命周期的质量和成本就会受到严重影响,显然已经无法应对日益复杂的嵌入式软件生产。 正确使用基于模型的设计(Model-Based Design,以下简称MBD)方 阅读全文
摘要:
前言:当前,复杂而泛在的软件架构支撑着全球经济,编译器和计算机高级语言正是这些软件的基石。编译器作为产生代码的工具,在加强计算机安全方面扮演着至关重要的角色。对于安全关键领域的系统软件而言,必须考虑编译器引入的错误,否则高成本的源程序级验证工作可能在目标程序级失效[1]。 保证编译器正确性的传统方 阅读全文
摘要:
01.背景 随着信息化时代的到来,全球范围内的通信和数据传输需求急剧增加,传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求,卫星通信和数据传输技术应运而生。实体卫星的发射和运行成本非常昂贵,需要经常维护和更新,卫星通信和数据传输领域的应用也因此受到限制,一定程度上牵制了卫星 阅读全文
摘要:
纵观近百年来汽车制造业的发展历程,产业跨进的每一步背后都有着技术创新作为支撑。汽车技术创新对世界经济、社会发展、人们的生产生活方式产生了极其深远的影响。1908年,福特公司正式推出T型车,背后是其首创的汽车生产流水线;1981年,汽车第一次具备了车载导航系统——“Electro Gyrocator” 阅读全文