基于概率选择模型的多失效模式可靠性建模分析

传统可靠性模型难以处理多失效模式可靠性建模同题,针对这一情况,本文提出了基于概率选择模型的可靠性模型及方法,通过引入概率选择因子将各失效模式下系统可靠度联系起来,能够更加地精确描述系统可靠性.最后将概率选择模型应用于某型鱼雷动力系统多失效模式可靠性建模,通过对比研究和Monte Carlo仿真验证了新模型的正确性与有效性.     

竞争硬故障与软故障失效模式产品的可靠性分析

根据系统可靠性理论,考虑到硬故障和软故障两种竞争失效模式对产品失效的影响,对传统的可靠性分析方法进行了扩展。研究了满足硬故障和软故障竞争失效规则的产品可靠性函数和失效率函数。并通过不同的失效模式之间的关系。得到产品在不同的硬、软故障模式下的失效分布函数。另外还给出一个简单的算例来说明该分析方法的应用。该分析方法可能更符合机电产品的失效规律。     

基于FDNA的飞行器系统安全涌现失效模型研究

针对系统依赖关系所导致的安全失效事故,按照"人-环境-软件-硬件"的逻辑构造基于依赖关系的系统安全网络,分析安全涌现失效的作用机理.建立基于依赖关系的系统安全网络框架,并据此改进功能依赖网络分析方法.利用级联失效表征安全涌现失效过程,提出了一套基于级联失效的飞行器系统安全涌现失效数值模拟方法,分析系统组件、依赖关系之间的演化关系,获取不同失效模式下的网络破坏模式.仿真结果表明:飞行器系统安全涌现失效过程需要综合考虑拓扑结构和安全效益这两个方面;安全涌现失效会对系统安全性能产生严重的影响.     

播出系统可靠性分析和提高可靠性的方法

使用数学方法对串行系统和并行系统的可靠性进行了定量分析并给出了计算实例.归纳了系统失效的规律,并结合分析结果提出了播出系统的设计原则,最后提出了提高播出系统可靠性的方法.     

一种嵌入式软件可靠性失效场景的开发方法

基于软件架构的分析,提出一种嵌入式软件可靠性失效场景的开发方法。该方法定义了失效场景模板,失效域模型以及失效场景,为嵌入式系统可靠性的预测分析提供了依据。     

多芯片组件(MCM)可靠性技术探讨

在对多芯片组件(MCM)的特点进行分析之后,对MCM的可靠性技术作了较全面的评述.就McM可靠性研究的关键技术问题展开讨论,总结国内外研究现状并提出了解决问题的思路,包括MCM失效模式与失效机理研究,MCM热分析及散热结构优化设计,多芯片系统可靠性试验与分析,及KGD质量和可靠性保障技术.最后,针对MCM可靠性问题,提出可靠性设计、生产过程的质量控制、可靠性评价与失效分析是MCM综合评价与保证的核心思想,为产品可靠性评价与保证提供参考.     

环境、环境影响与控制

0608439布尔函数与图论结合在系统可靠性分析中的应用〔刊,中〕/王进才//电子产品可靠性与环境试验.—2005,23(6).—1-5(D2)提出了一种运用布尔函数与图论相结合,对系统进行可靠性分析的新方法。应用图论,可以表现系统可靠性与各组成部件的相互关系;运用布尔函数,可以表现系统中特殊部件之间失效的相互影响作用;将这些关系和作用进一步地综合,就可以对整个系统进行分析。为说明该方法,结合具体事例进行了分析。参20608440橡胶促进剂CBS废水生化处理的动力学分析〔刊,中〕/王力友//南京师范大学学报(工程技术版).—2005,5(4).—74-76(L)060…     

硬同轴线接插头工艺优化研究

介绍了硬同轴线连接头的结构工艺特点,在大功率传输条件下,分析了硬同轴线接插头的各种常见失效模式和失效机理,结合生产实际情况,增加了分离力和多余物等检验项目,加强工艺过程控制,并提出了提高接插头可靠性的若干建议.     

软件失效模式、影响及危害性分析问题探讨

因软件失效的特殊性，自７０年代提出ＦＭＥＡＣＡ以来，软件的失效模式、影响及危害性分析（ＦＭＥＣＡ），并没有发挥象硬件ＦＭＥＣＡ那样的成效，目前尚处于探索、试验之中。本文结合对软件／硬件失效特性的对比分析，提出了几种有用的形式化ＦＭＥ－ＣＡ方法。     

布尔函数与图论结合在系统可靠性分析中的应用

提出了一种运用布尔函数与图论相结合，对系统进行可靠性分析的新方法。应用图论，可以表赢系统可靠性与各组成部件的相互关系；运用布尔函数，可以表现系统中特殊部件之间失效的相互影响作用：将这些关系和作用进一步地综合，就可以对整个系统进行分析。为说明该方法，结合具体事例进行了分析。     

S7-300软冗余系统在锅炉FSSS中的应用

在西门子S7-300软冗余系统工作原理基础上,提出了软冗余系统的硬件组成及程序实现方法。通过配置电源模块、CPU、冗余模块、通讯模块以及I/O模块等相关硬件,准确完成软件组态,精确编程下载与调试,实现锅炉FSSS控制系统的冗余功能。运行结果表明,控制系统可以在100 ms以内完成主站与从站的冗余切换,系统的可靠性能够满足锅炉安全运行的标准。     

S7—300软冗余系统在锅炉FSSS中的应用

在西门子S7—300软冗余系统工作原理基础上,提出了软冗余系统的硬件组成及程序实现方法。通过配置电源模块、CPU、冗余模块、通讯模块以及I／O模块等相关硬件,准确完成软件组态,精确编程下栽与调试,实现锅炉FSSS控制系统的冗余功能。运行结果表明,控制系统可以在100ms以内完成主站与从站的冗余切换,系统的可靠性能够满足锅炉安全运行的标准。     

An Algorithm for Hardware/Software Partitioning Using Mixed Integer Linear Programming

One of the key problems in hardware/software codesign is hardware/software partitioning. This paper describes a new approach to hardware/software partitioning using integer programming (IP). The advantage of using IP is that optimal results are calculated for a chosen objective function. The partitioning approach works fully automatic and supports multi-processor systems, interfacing and hardware sharing. In contrast to other approaches where special estimators are used, we use compilation and synthesis tools for cost estimation. The increased time for calculating values for the cost metrics is compensated by an improved quality of the values. Therefore, fewer iteration steps for partitioning are needed. The paper presents an algorithm using integer programming for solving the hardware/software partitioning problem leading to promising results.     

芯片封装测试产业上的功能安全

ISO 26262道路车辆功能安全标准是以产品功能安全设计导入为核心,同时包含产品安全生命周期中的制造环节。封装测试是半导体制造过程中重要的一环,研究工作着重在芯片从设计到封装测试的功能安全任务链接、转移与执行,包含封装厂商如何在芯片设计前端提供封装故障率预估,以评估硬件架构指标和随机硬件故障机率指标,确定功能安全设计的符合性。将产品设计中与安全相关的关键参数在量产过程中得到适当的管制,确保功能安全设计在产品上的实现。同时评估应用于封装设计、测试软件设计的软件工具信赖度,以及增强封装可靠度以减小故障率等课题。     

SOC设计的软硬件协同验证研究

软硬件协同验证是SOC的核心技术.通过分析SOC验证方法与软硬件协同验证技术,提出C与平台相合的协同验证方法.该方法是在系统级用SystemC确定SOC系统的体系框架、存储量大小、接口IO与验证软件算法的可行性、有效性、可靠性.在硬件设计中,利用验证可重用的硬IP和软IP快速建立SOC系统,并把核心IP集成嵌入进SOC系统中.在软件设计中,利用成熟的操作系统与应用系统来仿真验证SOC芯片的功能与性能.该方法应用于一个基于ARM7TDMI的SOC设计,大大缩短了验证时间,提高了验证效率与质量.     

一种基于SystemC的软硬件协同设计方法

随着集成电路工艺的飞速发展,传统的设计方法已不能满足设计高集成度的复杂数字系统的要求。软硬件协同设计成为嵌入式系统设计的新方法。SystemC是一种兼容C++的系统建模语言,它同时支持RTL级、行为级和系统级描述,使其成为软硬件协同设计平台的基础。     

基于SystemC和Verilog软硬件协同验证

针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计对象进行描述和验证,提出一种软硬件协同验证方法.该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型.该方法被应用到东南大学研发的微处理器芯片GIV的具体验证中.实验数据表明,由于采用软硬件协同验证模型在芯片生产之前对系统功能、结构设计等进行验证,缩短了开发周期,降低了开发成本,提高了验证可靠性.     

并行K均值聚类和贪婪算法融合的软硬件划分

提出了一种并行K均值聚类和贪婪算法融合的软硬件划分算法.算法首先将有相似属性的任务节点通过并行K均值聚类算法组成一个大的任务节点,而后使用贪婪算法划分由大的任务节点组成的系统.实验结果表明,这种软硬件划分的方法具有高效率及高面积利用率的特点,尤其对多节点的复杂任务算法的求解时间远小于贪婪算法.     

Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation

This paper presents a hardware/software co-design approachwhere different specification languages can be used in parallel, allowingeffective system co-modeling. The proposed methodology introduces a processmodel that extends the traditional spiral model so as to reflect the designneeds of modern embedded systems. The methodology is supported by an advancedtoolset that allows co-modeling and co-simulation using SDL, Statecharts andMATRIX_X, and interactive hardware/software partitioning. The effectivenessof the proposed approach is exhibited through two applicati on examples: thedesign of a car window lift mechanism, and the design of a MAC layer protocolfor wireless ATM networks.     

Reliability optimization models for embedded systems with multiple applications

Summary and Conclusions-This paper presents four models for optimizing the reliability of embedded systems considering both software and hardware reliability under cost constraints, and one model to optimize system cost under multiple reliability constraints. Previously, most optimization models have been developed for hardware-only or software-only systems by assuming the hardware, if any, has perfect reliability. In addition, they assume that failures for each hardware or software unit are statistically independent. In other words, none of the existing optimization models were developed for embedded systems (hardware and software) with failure dependencies. For our work, each of our models is suitable for a distinct set of conditions or situations. The first four models maximize reliability while meeting cost constraints, and the fifth model minimizes system cost under multiple reliability constraints. This is the first time that optimization of these kinds of models has been performed on this type of system. We demonstrate and validate our models for an embedded system with multiple applications sharing multiple resources. We use a Simulated Annealing optimization algorithm to demonstrate our system reliability optimization techniques for distributed systems, because of its flexibility for various problem types with various constraints. It is efficient, and provides satisfactory optimization results while meeting difficult-to-satisfy constraints.