主从多机通信系统稳定性的研究.docVIP

主从多机通信系统稳定性的研究 　　摘要:文章针对典型的主从多机通信系统的稳定性问题建立了从元件级到系统级的数学模型,并基于蒙特卡洛法,通过大量的计算机仿真测试,在多种系统配置条件下,得出了系统出错概率,平均无故障运行时间等一系列衡量系统的稳定性指标。通过分析比较结果得到在实际中如何采取措施从而提高主从多机通信系统的可靠性能。 　　关键词:主从多机系统;可靠性;故障树;马尔可夫链;蒙特卡洛法 　　中图分类号:TP368.1文献标识码:A文章编号:1006-8937(2010)12-0077-03 　　 　　主从多机通信系统是由一台通信主机和多台通信从机构成的多机系统,其模型如图1所示。根据主从多机通信协议,此系统具有如下特性:每台通信机拥有唯一的地址标识;仅主机拥有发起对话的权限,主机与从机之间可进行“主问从答”式对话;从机和从机间不直接对话;必须保证在同一时刻,至多只有一台通信机占用信道发送信息。 　　此种通信系统管理方便,实现简单,通信效率高,在电子通信和自动控制等各个领域都有广泛的应用。然而由于主从多机成分的多元化,结构的复杂,其可靠性问题成为应用的瓶颈。因此对其可靠性进行定量评估和优化成为热点课题,文章将就此展开讨论。 　　稳定性是指一个产品在特定时间内、特定条件下,不失效地发挥一种特定功能的概率。系统可靠性越差,出故障的概率也就越大。随着科技的不断发展,人们对系统功能的要求越来越高,因此系统的可靠性受到人们的广泛重视。如果系统的可靠性无法得到足够保证,就会带来严重的影响。提高系统的可靠性可以从以下几个方面着手:一是提高构成系统的各元件本身的可靠性,二是提高系统承受误操作的能力,三是在系统设计上考虑。 　　故障树分析法是一种从系统到部件,再到零件,按“下降形”分析的方法。这种方法是从系统开始,对可能造成系统失效的各种因素(包括硬件、软件、环境、人为因素)进行分析,画出由逻辑符号绘制出的一个逐渐展开成树状的逻辑框图(失效树),从而确定系统失效原因的各种可能组合方式或其发生概率,从而计算系统失效概率。 　　蒙特卡洛法是一种基于“随机数”的计算方法。这种方法以概率论和统计理论为基础,将所求解的问题与一定的概率模型相联系,用计算机实现统计模拟或抽样,从而获得问题的近似解。 　　文章采用故障分析树法与蒙特卡洛法研究了一个主从多机通信系统的可靠性问题。 为提高该系统的可靠性,实际可能采取的工程措施有以下三项:①微处理器中引入Watchdog机构;②防止接口电路板故障阻塞总线;③主机的双机热备。为简便起见,分别用措施1、措施2、措施3表示这三项措施。 　　1基于故障树法的分析 　　故障树分析图清晰描绘出了各类故障发生的内在因果逻辑关系,仿真程序中上层次模型状态如何由底下的状态来确定就是通过分析故障树之间的关系得到的。 　　系统运行中出现重大系统故障的原因有如下几种情形:①通信主机子系统失效或无法通信(双机热备时,双机同时失效或无法通信);②集线器发生故障;③因某个通信从机的某类特定故障,引发通信总线阻塞,整个通信网络瘫痪;④三个通信从机子系统中,有两个或两个以上同时失效或无法通信。 　　画出重大系统故障的故障树如图2所示。注意图中所示子系统故障以没有光隔部件的从机子系统为例,对于有有光隔部件的从机子系统,当光隔部件出现故障时也会导致子系统故障。 　　2基于蒙特卡洛法的建模与仿真 　　2.1建模概述 　　根据课题要求,系统从下往上可以划分为元件、部件,子系统和系统,其中元件的状态转化可以用状态转移模型来抽象,而部件、子系统和系统的状态可以由下层的模型的状态推得。 　　2.2事件建模 　　 在故障的仿真中,我们使用了马尔可夫链的模型。由 　　于元件故障概率都假定为负指数分布,很适合应用马尔可夫链建立仿真算法。最直观的做法是为每个元件建立状态转移机模型。然后根据元件状态推定部件状态,根据部件状态推定子系统和系统状态。 　　以集线器部件的组成元件为例,可设计出如图3所示的状态机模型。 　　图3中,P1λedτ=1-e , 　　P2λedτ=1-e。 　　在采取措施1的情况下,对控制软部件的组成元件可设计出如图4的状态机模型。 　　图4中,P1λedτ=1-e, 　　P2λedτ=1-e。 　　2.3元件级仿真 　　仅考虑每个独立元件之间状态的转换,利用状态机模型。然后根据元件状态推定部件状态,根据部件状态推定子系统和系统的状态。 　　主系统――软件:1个元件,根据是否启用措施1调用软件转移函数。 　　主系统――硬件:30个元件,调用硬件转移函数。 　　主系统――接口:如果启用措施2,有15个元件,否则为10个元件,均调用硬件转移函数。 　　主系统――备份:如果启用措施3,有另一