| 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 |
| |
| Affiliation: | 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 维普 万方数据 等数据库收录！ |
|
