首页 | 本学科首页   官方微博 | 高级检索  
     检索      

Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets
作者姓名:苏永定  邱静  刘冠军  钱彦岭
作者单位:College of Mechatronical Engineering and Automation, National University of Defense Technology, Changsha 410073, Hunan, China  
摘    要: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网  测试要求  故障检测率  需求分析模型  模拟  状态转移矩阵  稳态概率  测试性设计

Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets
SU Yong-ding,QIU Jing,LIU Guan-jun,QIAN Yan-ling.Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets[J].Journal of China Ordnance,2009,5(1):60-64.
Authors:SU Yong-ding  QIU Jing  LIU Guan-jun  QIAN Yan-ling
Institution:College of Mechatronical Engineering and Automation, National University of Defense Technology, Changsha 410073, Hunan, China
Abstract: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.
Keywords:analysis on system assessment and feasibility  testability requirement  testability figure of merits  generalized stochastic Petri net  steady-state availability  fault detection rate  fault isolation rate
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号