基于IEC61508的嵌入式软件可靠性设计与验证

作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。     

嵌入式软件安全可靠性探索

嵌入式软件由于其应用场合、硬件平台及操作系统的多样性,使嵌入式软件在各种不同条件下可能出现未知、不可预测的状况,即其潜在风险往往比通用PC机的软件要高,高可靠性和安全性自然成为嵌入式系统的重要指标。嵌入式软件根据经验可以从三个方面来谈谈加强其安全可靠性：硬件安全（主要指承载软件的芯片安全）、平台安全（主要指支撑软件运行的嵌入式操作系统）、应用安全（主要指嵌入式软件自身的算法规范性、数据加密、内容完整性和授权）。     

基于模糊故障树的医疗器械设备可靠性分析

提出了一种用于医疗器械可靠性研究的模糊故障树分析方法，较好地解决了医疗器械失效故障树分析中基本事件可靠度的模糊性问题，并给出应用实例。     

基于故障树分析法的抓头可靠性仿真分析

首先采用故障树法对送料系统中的抓头部件进行结构功能分析,建立可靠性框图,并以"抓料失效"为顶事件,建立故障树并得到了抓头的最小割集和最小径集;经过重要度分析,找出了关键零部件并分析了故障原因,然后结合计算机辅助故障树分析软件(CAFTA)对其进行仿真模拟,计算得到抓头的可靠度直方图,并确立抓头的失效服从指数分布.针对抓头最小割集中的关键部件提出了抓头护板表面改性和结构设计改进措施,实验表明原故障基本消除,系统的可靠性得到较大提高.     

提高自动化仓库运行可靠性的对策研究

在对自动化仓库一种最复杂的作业形式作故障树定性分析的基础上，找出影响系统正常工作的薄弱环节，设计是采用一系列相应措施来予以改善，以此作为提高自动化仓库运行可靠性的对策，文中不仅提出了提高系统固有可靠性的具体措施，还涉及提高人－机系统可靠性的一些意见，对提高自动仓库运行可靠性是必不可少的。     

故障树分析法及其在轴承可靠性分析中的应用研究

采用故障树分析法对轴承失效机理进行研究，通过分析其故障模式与效应，研制出轴承失效故障树；编写出计算机辅助故障树分析程序；求出导致轴承失效的所有可能的故障模式，从而建立系统的故障谱，为轴承设计和维修提供了有益的参考。     

提高数控车床可靠性的故障分析方法与可靠性增长

我国国产数控机床市场占有率低的主要原因是可靠性达不到要求，在“九五”期间将对数控车床和加工中心产品进行攻关改进，使其可靠性水平得到提高，本文提出应用FMECA，FTA分析法是解决目前攻关产品可靠性改进设计切实可行的方法，建立了一整套数控车床故障分析和可靠性改进设计的基础理论和实用方法，并取得了初步的成效。     

可靠性理论在水轮发电机组故障诊断中应用的研究

介绍了可靠性的基本概念,阐述了故障树分析方法的基本内容,并将故障树分析法运用于水电机组的可靠性分析中,最后运用蒙特卡罗方法确定最佳预防维修周期,从而使水电机组的维修费用最低,且系统有效度最高。     

手扶拖拉机可靠性指标计算与故障树分析

本文论述了东风—618型手扶拖拉机快速可靠性试验的可靠性指标与故障树分析,给出了在试验过程中所出现的故障模式记录和故障树分析,分析计算了所规定的各项可靠性指标,同时对所出现的故障进行了FTA分析。     

基于故障树加权的柴油机供给系统的可靠性分析

要计算故障树顶事件的概率,必须知道各个底事件的分布类型和参数估计值,由于机械元件的失效数据在过去和将来都是难以获得的,尤其在中小企业的条件下更是如此,从而使设计人员陷入困境.采用故障树加权方法,即使只知道故障树中一、二个事件的失效概率也能预测整个系统的可靠性,并通过柴油机供给系统的可靠性分析得到验证.     

基于实时对象建模的嵌入式软件开发

将面向对象的分析、设计和实现模式应用于嵌入式实时软件的开发，能极大地提高目标软件的性能和开发效率．通过UML—RT建模语言及其支持工具应用于汽车气囊安全系统实时软件的开发，阐述了基于对象模式的嵌入式软件开发过程，提出了基于事务映射的多线程模型实现方法．     

基于最小置信度的嵌入式软件成熟度静态分析

由于已有算法未能在静态分析过程中加入最小置信度原则和大数据技术,导致静态分析结果不准确和费用较高等问题,提出一种基于最小置信度的嵌入式软件成熟度静态分析算法.将最小置信度作为隶属准则,通过量分权重和满意度对嵌入式软件成熟度静态分析思想进行评价,构建评价指标体系.使用大数据技术对各项软件成熟度评价指标进行标准化和无量纲化处理,获取有效指标.结合嵌入式软件成熟度评价维度,利用属性数学原理,在专家调查问卷形式下对评价指标的测度进行计算分析,组建嵌入式软件成熟度静态评估模型,通过模型完成软件成熟度的静态分析.仿真实验结果表明,所提算法能获取高准确性的嵌入式软件成熟度静态分析结果,同时静态分析费用也能得到有效降低.     

基于离散时间贝叶斯网络的动态故障树分析方法

提出了一种基于离散时间贝叶斯网络的动态故障树分析方法．首先给出优先与门、顺序相关门、备件门、功能相关门等动态逻辑门向离散时间贝叶斯网络的转化方法，在得到动态故障树对应的离散时间贝叶斯网络之后，再利用贝叶斯网络推理算法计算、诊断和预计顶事件概率、重要度等常规分析结果．对数字飞控计算机系统进行的分析表明，该方法能够保证较高的求解精度，其相对误差均保持在0．4%以内，而且易于扩展到多态和非确定性逻辑关系的情形．     

基于可靠性分析的真空镀膜机控制系统研究

通过对真空镀膜机的故障树分析,找出影响整个系统的薄弱环节,为控制系统可靠性设计提供参考.结合镀膜工艺流程,对控制系统软、硬件进行了论证分析和相应的设计,实现了以PLC为核心的真空镀膜机控制系统.该控制系统具有手动/自动控制、故障报警等功能,最终生产实践证实了该系统的可行性和可靠性,满足了工艺要求.     

基于RBD与FTA的航天器太阳翼可靠性分析

太阳翼对航天器的在轨运行品质有重要影响。该文基于东方红3号卫星平台,对系统部件的可靠性属性进行了分类,利用可靠性框图(RBD)给出了在确定载荷与随机载荷情况下的可靠度计算公式。应用故障树分析法(FTA)研究了太阳翼系统的可靠性问题。分析结果表明:铰链是影响太阳翼可靠性的最主要部件;空间温度、材料在空间中的特性是影响太阳翼可靠性的最主要因素。添置冗余、采用新型材料与优化受载结构等方法可以提高太阳翼的可靠度。     

面向可靠性评估的软件架构描述语言图形化研究

为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提.在研究了面向可靠性评估架构描述语言RE/ADL的基础上,提出该架构描述语言图形化的表示方法,分别从总体的、精练的、层次的不同视角总结了架构的建模元素(组件、连接件、配置及复合组件,连接件)与可靠性评估相关属性的图形表示,便于架构的验证和分析.     

路堤边坡可靠性分析方法的探讨

根据传统的边坡稳定性分析的极限平衡法公式,本文推导了分析边坡稳定性的可靠性分析方法的详细过程以及最终的计算公式。并通过具体算例,分别用极限平衡法和可靠性分析方法的公式计算,由最终的计算结果,对可靠性分析方法与极限平衡法进行比较分析。     

可靠性理论在水轮发电机组故障诊断中的应用

本文介绍了可靠性的基本概念,阐述了故障树分析方法的基本内容,并将故障树分析法运用于水电机组的可靠性分析中,最终通过定量分析对其进行验证。     

几种典型的嵌入式软件测试方法

根据嵌入式软件的大量应用的实际情况,对不同类型的几种软件测试的测试方法进行简要介绍,针对不同方法的差异性和特点进行了分析,以指导设计人员开展软件的开发、分析与测试。     

真空辅助艇体成型工艺系统的可靠性分析

为了提高艇体成型质量的可靠性,以真空辅助树脂艇体成型工艺系统为研究对象。通过分析系统故障形式,得到工艺环节与系统之间的逻辑关系,再利用蒙特卡洛法对系统进行可靠性仿真分析,获得系统可靠性指标及可靠性曲线。该方法得到的结论为游艇生产过程的质量控制提供参考依据。