基于动态故障树的汽车系统故障诊断方法

为了提高汽车故障诊断效率，降低诊断代价并解决静态故障树（SFT）无法描述汽车系统中动态失效序列的问题，提出一种基于动态故障树（DFT）的汽车系统故障诊断方法。首先，利用DFT建立系统的失效模式模型，并采用顺序二元决策图（SBDD）计算DFT的最小割集（MCS）；然后计算MCS以及MCS中组件的诊断重要度（DIF）；并在此基础上给出基于统一诊断服务（UDS）协议的汽车故障诊断方法，将诊断故障码对应的MCS过滤并排序，优先诊断DIF大的MCS和系统组件；最后通过一个汽车主动转向系统的应用实例对本文方法的有效性进行验证。案例分析结果表明，所提方法能够计算汽车故障诊断MCS序列，可以有效指导汽车故障诊断工作。     

超级蒙特卡罗核计算仿真软件系统SuperMC

蒙特卡罗方法对于复杂核系统的模拟具有明显优势,然而在实际工程应用中存在巨大的挑战,如复杂结构与材料分布精准建模难度大、计算收敛速度慢、海量数据难以及时有效分析等。超级蒙特卡罗核计算仿真软件系统SuperMC设计为支持以辐射输运为核心,包含燃耗、辐射源项/剂量/生物危害、材料活化与嬗变等的综合中子学计算,支持热工水力学、结构力学、化学、生物学等多物理耦合模拟。SuperMC目前已发展了精准建模、高效计算、四维可视化等关键技术,通过2 000余个国际基准模型及实验的验证与确认,在反应堆工程等方面获得广泛应用,本文对其发展概况进行介绍。     

基于决策表的AUTOSAR操作系统一致性测试研究

汽车开放系统架构(AUTOSAR)规范为车载嵌入式操作系统及其相关服务定义了一系列的抽象标准接口，得到了广泛应用。传统AUTOSAR操作系统一致性测试方法针对性不强，无法测试不同一致类级别的操作系统，被测系统需要符合最高一致类级别要求才可以通过测试，因此需要额外抽取符合要求的测试用例。基于决策表设计了一种面向AUTOSAR操作系统的一致性测试方法。决策表是一种表达事件在逻辑上相互依赖关系的符号手段，可将复杂的逻辑关系和多种条件组合情况详细地列举出来，且可根据需求进行重制。通过在设计测试用例时参照一致类进行划分，使得测试用例在生成时被赋予一致类属性，可针对不同级别操作系统进行测试。在实际实验中，该方法实现了不同一致类操作系统的针对性测试，对5个功能模块的4种一致类执行了测试，避免了379条测试用例的额外抽取，提升了测试效率。     

基于行为监测的嵌入式操作系统堆栈溢出测试

堆栈测试是嵌入式操作系统安全评估的重要环节,堆栈溢出会覆盖邻近堆栈中的数据,造成数据错乱进而引发系统崩溃。然而捕获并定位堆栈溢出具有一定难度。首先,溢出数据可能会侵占操作系统中其它任务的私有堆栈,而发生溢出的任务本身没有异常表现,以致难以确定堆栈溢出的根源;其次,由于操作系统任务的优先级差异,堆栈溢出的暴露时间可能滞后于其发生时间。提出了一种基于实时堆栈分配与回收行为监测的动态堆栈测试方法,首先在堆栈行为测试点插入桩函数,以采集任务堆栈的测试码;然后设置上位机测试程序,以分析测试码并提供测试结果,实现实时捕获并定位堆栈溢出。利用此方法,在基于车载远程信息处理终端的实际测试中,定位到了3处造成系统崩溃或复位的堆栈溢出异常,评估了操作系统堆栈的安全性。另外,根据测试结果,优化了堆栈大小的静态分配,在单个任务中最多节省了42%的堆栈空间,并将整个任务RAM压缩至原来的63%。     

车载控制器FOTA固件安全多重校验方案

固件空中升级(FOTA)是一种利用无线通信实现电子控制单元软件升级的技术.FOTA在汽车电子控制器中的大规模应用,使得汽车控制系统面临来自于公共网络中的安全威胁日益增多,而目前主流的FOTA方案着重关注固件从服务端到汽车端的远程传输,车内固件的安全性处理仍是薄弱环节.本文提出一种固件安全多重校验方案,服务端通过基于ECC的数字签名算法签名固件得到两个校验码,分别用于远程传输以及车内处理流程中的固件完整性和身份验证,以保证FOTA全流程的安全.实验结果表明所提的方案可以很好的识别固件远程传输和存储时篡改的风险,增加的时间成本仅约为5％,同时与使用RSA算法实现的方案相比,同等安全条件下,还具有验签速度快、占用存储资源少等优点.     

中交西筑公司参加上海国际跨国采购大会

近日，中交西筑参加了在上海世贸商城举行的“2008中国（上海）国际跨国采购大会”。本次展会是迄今为止中国规模最大的向全球跨国采购商和全国进出口企业提供“跨国逆向采购”的盛会。来自全球的世界500强企业以及260家跨国采购机构亲临上海。     

AUTOSAR标准的CAN网络休眠异常诊断机制研究

汽车网络管理旨在保证节点间的通信状态同步及网络故障检测,是可靠的车载网络的重要组成部分。针对AUTOSAR网络管理中对于偶发的休眠异常难以定位与复现的问题,提出了一种基于唤醒链的网络休眠异常诊断机制,将管理报文在网络中出现的先后顺序与节点唤醒的先后顺序相对应,通过在网络管理报文中携带位置信息,实时记录网络节点在唤醒链中的位置,在偶发性故障出现时,将相关信息存入非易失性内存,之后通过重建唤醒链,恢复故障发生时网络中各节点的唤醒顺序及相关运行状态信息,帮助更准确高效地定位引发故障的节点,一定程度上解决了休眠异常难以复现和检测的问题。同时利用控制器局域网络CAN总线在实验平台CANoe上验证了该方法的有效性。     

基于AUTOSAR的CAN通信栈设计

汽车开放系统架构（AUTOSAR）是作为包括汽车制造商、供应商和工具开发商在内的开发合作伙伴成立的,旨在创建一个开放和标准化的汽车架构,解决汽车控制器软件的诸如开发周期长、可重用性差等问题。AUTOSAR CAN通信栈是AUTOSAR的重要协议栈,其是为了解决汽车CAN网络通信层软件质量良莠不齐、复用性差等问题。本文旨在依据AUTOSAR4.0.3标准在NXP MPC5748G平台设计实现AUTOSAR CAN通信协议栈底层模块,包括CAN控制器状态控制、通道通信控制、发送缓冲机制、发送取消机制、软件接收滤波机制。在实验中对比传统CAN通信软件和本文实现的CAN通信软件的周期发送延迟,结果显示AUTOSAR CAN通信软件能够降低高优先级报文周期发送的90%左右的平均延时,证明本文实现的AUTOSAR CAN通信栈有效地提升了CAN通信软件性能。     

基于时间约束的CAN网络管理一致性测试

汽车网络管理是现代汽车必不可少的基础功能。随着智能网联汽车的兴起,ECU数量的增加使得车载网络系统的需求和复杂性不断提高。为了确保网络管理的安全性和稳定性,需要全面的测试解决方案。本研究在深入理解AUTOSARCAN网络管理规范的基础上,提出一种针对AUTOSAR CAN网络管理的测试方法。首先基于AUTOSAR提供的标准TTCN-3测试脚本搭建测试系统,设计不定长测试报文,实现对CAN网络管理的多场景测试。其次基于巴科斯范式定义一种新的语法格式,对TTCN-3进行时间约束,提高对CAN网络报文的监测准确度。利用此方法,在基于MPC5745B平台的实际测试中,定位到3处异常信息,评估了AUTOSAR CAN网络管理的安全性和稳定性。实验结果表明,该方法能够在节省测试软硬件资源的情况下,全面测试AUTOSAR CAN网络管理的一致性。