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

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

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

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

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

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

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

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

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

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

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

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

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

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