Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as ...Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as the processes of system operation,maintenance and support,fault detection and isolation and so on.Secondly,a testability requirement analysis model is built based on generalized stochastic Petri net(GSPN).Then,the system's reachable states are analyzed based on the model,a Markov chain isomorphic with Petri net is constructed,a state transition matrix is created and the system's steady state probability is obtained.The relationship between the steady state availability and testability parameters can be revealed and reasoned.Finally,an example shows that the proposed method can determine TFOM,such as fault detection rate and fault isolation rate,effectively and reasonably.展开更多
因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂...因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂电子系统测试性参数确定新方法。首先,综合需求信息、约束边界和维修保障等要求,建立电子系统两层级CGSPN模型,引入着色,实现不同模块各种状态的实时追踪和故障并发处理,通过广义随机处理共因故障的随机不确定性;然后,利用着色和可用度探索一种带有冗余设计的测试性参数处理手段,丰富测试性体系;最后,构建一种不同模块、各种状态融合的并行分析技术,统一系统层和模块层之间的状态转移关系,避免分阶段串行处理和等效替换。以通信导航识别系统为例进行实例分析,所提方法比传统方法具有更好的可用性和有效性。展开更多
针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研...针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望.展开更多
文摘Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as the processes of system operation,maintenance and support,fault detection and isolation and so on.Secondly,a testability requirement analysis model is built based on generalized stochastic Petri net(GSPN).Then,the system's reachable states are analyzed based on the model,a Markov chain isomorphic with Petri net is constructed,a state transition matrix is created and the system's steady state probability is obtained.The relationship between the steady state availability and testability parameters can be revealed and reasoned.Finally,an example shows that the proposed method can determine TFOM,such as fault detection rate and fault isolation rate,effectively and reasonably.
文摘因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂电子系统测试性参数确定新方法。首先,综合需求信息、约束边界和维修保障等要求,建立电子系统两层级CGSPN模型,引入着色,实现不同模块各种状态的实时追踪和故障并发处理,通过广义随机处理共因故障的随机不确定性;然后,利用着色和可用度探索一种带有冗余设计的测试性参数处理手段,丰富测试性体系;最后,构建一种不同模块、各种状态融合的并行分析技术,统一系统层和模块层之间的状态转移关系,避免分阶段串行处理和等效替换。以通信导航识别系统为例进行实例分析,所提方法比传统方法具有更好的可用性和有效性。
文摘针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望.
