基于UML活动图的软件可靠性预测方法

以构件化的软件开发方法为背景,提出了一种能自动将UML活动图转换为模型Markov链的可靠性预测方法。该方法基于构件化的软件体系结构,从UML的活动图和顺序图出发,通过构造一个名为"控制结构转移图"的中间模型,将标注了可靠性信息的UML模型转换为Markov链,并通过递归方法自动生成测试路径,然后依据每条路径的可靠性信息来估计整个软件系统的可靠性。转换结果可以直接被现有分析方法用来进行软件可靠性预测工作,从而使分析变得高效和模型化。

基于FPGA的新一代机车显示平台LCD控制器设计

介绍了基于FPGA的新一代机车显示平台LCD控制器原理,阐述了其硬件和逻辑电路的设计理念,通过FPGA的验证,现已成功应用在新一代机车显示平台TPX21系列显示器上。其硬件原理简单,逻辑软件可移植性强,稍作改动便可应用于各应用场合,如不同显示频率、不同分辨率等的LCD显示器上。