A New Testability Modeling Method Based on Hierarchical Generalized Stochastic Petri Nets

doi:10.3969/j.issn.1000-1093.2020.01.019

Abstract

Abstract: Since the current equipment system adopts the hierarchical and modular design, the maintenance level and testability modeling complexity are greatly improved. A testability modeling method based on hierarchical generalized stochastic Petri nets (HGSPN) is proposed. The problems existing in the mainstream modeling method and the reasons for selecting the GSPN modeling are analyzed by comparing the mainstream modeling method with the generalized stochastic Petri net (GSPN) modeling method. The equipment is hierarchically divided, and a HGSPN model is established. The multiple failure modes exist in the system and its components. A complete coding scheme is proposed to distinguish these failure modes. The accessibility algorithm is used to obtain the hierarchical dependency matrix, and the testability evaluation mathematical model is used to obtain the testability level. The testability information of each level is aggregated to obtain the testability level of the complete equipment. Taking a missile engine system as an example, the testability indicators are evaluated, and 100% fault detection rate and 66.7% isolation rate are obtained. The effectivenesses of the proposed modeling method and corresponding algorithm are verified.Key

Key words: testabilitymodeling, mainstreammodel, hierarchicalgeneralizedstochasticPetrinet, codingscheme, accessibilityalgorithm, dependencymatrix

CLC Number:

TJ765.4⁺1

ZHAI Yuyao, SHI Xianjun, QIN Yufeng, L Jiapeng. A New Testability Modeling Method Based on Hierarchical Generalized Stochastic Petri Nets[J]. Acta Armamentarii, 2020, 41(1): 161-170.

References

［1］装备测试性工作通用要求: GJB 2547A—2012［S］. 北京:中国人民解放军总装备部, 2012.
General requirement for materiel testability program: GJB 2547A—2012［S］. Beijing: General Armament Department of PLA, 2012.(in Chinese)
［2］田仲, 石君友. 系统测试性设计分析与验证［M］. 北京: 北京航空航天大学出版社, 2003:17-19.
TIAN Z, SHI J Y. Testability design analysis and verification on systems［M］. Beijing: Beihang University Press, 2003:17-19.(in Chinese)
［3］吕晓明, 黄考利, 连光耀. 基于多信号流图的分层系统测试性建模与分析［J］. 北京航空航天大学学报, 2011, 37(9):1151-1155.
L X M, HUANG K L, LIAN G Y. Modeling and analyzing for testability of hierarchy system based on multi-signal flow graph model［J］. Journal of Beijing University of Aeronautics and Astronautics, 2011, 37(9):1151-1155.(in Chinese)
［4］尹园威, 尚朝轩, 马彦恒, 等. 层次测试性模型的评估方法［J］. 北京航空航天大学学报, 2015, 41(1):90-95.
YIN Y W, SHANG C X, MA Y H, et al. Method of testability evaluation using hierarchical testability model［J］. Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(1):90- 95. (in Chinese)
［5］ RAMOS G, SANCHEZ J L, TORRES A, et al. Power system security evaluation using Petri nets［J］. IEEE Transactions on Power Delivery, 2010, 25(1):316-322.
［6］方欢, 方贤文, 王丽丽. Petri网在可靠性分析中的研究综述［J］. 计算机科学, 2014, 41(7): 40-44.
FANG H, FANG X W, WANG L L. Review of reliability analysis based on Petri nets［J］. Computer Science, 2014, 41(7):40-44. (in Chinese)
［7］石健, 王少萍, 王康. 基于GSPN的机载液压作动系统可靠性模型［J］. 航空学报, 2011, 32(5):920-933.
SHI J, WANG S P, WANG K. GSPN-based reliability model of aircraft hydrautic actuator system［J］. Acta Aeronautica et Astronautica Sinica, 2011, 32(5):920-933. (in Chinese)
［8］李展, 单士华. 基于GSPN的舰载服务器系统可靠性建模及分析［J］. 火力与指挥控制, 2015, 40(5):57-60, 64.
LI Z, SHAN S H. Modeling and analysis of reliability for shipboard sever system by GSPN［J］. Fire Control & Command Control, 2015, 40(5):57-60, 64. (in Chinese)
［9］王小强, 韩斌. 基于GSPN的飞机测试性指标确定方法研究［J］. 计算机测量与控制, 2016, 24(4):13-15, 18.
WANG X Q, HAN B. Research on determination method for testability index of aircraft based on GSPN［J］. Computer Measurement & Control, 2016, 24(4):13-15, 18. (in Chinese)

［10］李妍琛. 利用随机Petri网分析软件可靠性［J］.计算机应用与软件, 2009, 26(8):133-135.
LI Y C. Ananlyzing software reliability by using stochastic Petri net［J］. Computer Applications and Software, 2009, 26(8):133- 135.(in Chinese)
［11］翟禹尧,史贤俊,吕佳朋. 基于广义随机Petri网的导弹系统测试性建模与指标评估方法研究［J］. 兵工学报, 2019, 40(10): 2070-2079.
ZHAI Y Y, SHI X J, L J P. Research on evaluation method for testability index and modeling of missile system based on GSPN［J］. Acta Armamentarii, 2019, 40(10):2070-2079.(in Chinese)
［12］尹园威, 尚朝轩, 马彦恒, 等. 装备测试性设计的层次诊断方法研究［J］. 海军工程大学学报, 2014, 26(1):71-75.
YIN Y W, SHANG C X, MA Y H, et al. Research on hierarchy diagnosis based on the equipment［J］. Journal of Naval University of Engineering, 2014, 26(1):71-75.(in Chinese)
［13］ GROUMPOS P P. Structural analysis of multilevel hierarchical systems［C］∥Proceedings of International Conference on Systems, Man and Cybernetics. Piscataway, NJ, US: IEEE, 1993:385-389.
［14］石君友, 王风武, 张鑫, 等. 通断式多态系统扩展测试性建模方法［J］.北京航空航天大学学报, 2012, 38(6):772-777.
SHI J Y, WANG F W, ZHANG X, et al. Method of extended testability modeling for on-off multi-state system［J］. Journal of Beijing University of Aeronautics and Astronautics, 2012, 38(6): 772-777.(in Chinese)
［15］ BOUMEN R, RUAN S, DE JONG I S M, et al. Hierarchical test sequencing for complex systems［J］.IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans， 2009, 39(3):640-649.
［16］ LONG B, DAI Z J, TIAN S L, et al. A hierarchical modeling and fault diagnosis technique for complex electronic devices［C］∥Proceedings of 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis. Piscataway, NJ, US:IEEE Computer Society，2009:1-4.
［17］林志文, 贺喆, 郭丽华. D-矩阵在舰船超短波设备综合诊断中的应用［J］. 计算机测量与控制, 2009, 17(11):2105-2108.
LIN Z W, HE Z, GUO L H. Application of D-matrix in vessel ultra-short wave equipment integrated diagnostics［J］. Computer Measurement & Control, 2009, 17(11): 2105-2108.(in Chinese)
［18］ SHEPPARD J W, BUTCHER S G W. A formal analysis of fault diagnosis with D-matrices［J］. Journal of Electronic Testing: Theory and Applications, 2007, 23(4):309-322.
［19］蔡志强, 孙树栋, 司书宾,等. 基于FMECA的复杂装备故障预测贝叶斯网络建模［J］. 系统工程理论与实践, 2013, 33(1): 187-193.
CAI Z Q, SUN S D, SI S B, et al. Bayesian network modeling of complex equipment fault prediction based on FMECA［J］. Systems Engineering-Theory and Practice, 2013, 33(1):187-193. (in Chinese)
［20］故障模式、影响及危害性分析指南：GJB/Z 1391—2006［S］. 北京: 中国人民解放军总装备部, 2006.
Guide to failure mode, effects and criticality analysis: GJB/Z 1391—2006［S］. Beijing: General Armament Department of PLA, 2006. (in Chinese)
［21］孙有朝, 郭媛媛, 崔灿丽. 应用有色Petri网的复杂系统四性一体化综合评估方法研究［J］. 南京航空航天大学学报, 2017, 49(5):707-717.
SUN Y C, GUO Y Y, CUI C L. Research on complex system four qualities integration evaluation based on color Petri net［J］. Journal of Nanjing University of Aeronautics & Astronautics, 2017, 49(5):707-717. (in Chinese)
［22］ ZHAO J T, CHEN Z Q, LIU Z X. Modeling and analysis of colored Petri net based on the semi-tensor product of matrices［J］. Science China (Information Sciences), 2018, 61(1):70- 85.
［23］程学珍, 朱晓林, 杜彦镔, 等. 基于神经模糊Petri网的高压断路器故障诊断研究［J］. 电工技术学报, 2018, 33(11):2535-2544.
CHENG X Z, ZHU X L, DU Y B, et al. Fault diagnosis of high voltage circuit breakers based on neural fuzzy Petri nets［J］. Transactions of China Electrotechnical Society, 2018, 33(11): 2535-2544. (in Chinese)
［24］秦玉峰, 史贤俊, 王康. 考虑不确定因素的系统测试性建模与分析方法研究［J］. 舰船电子工程, 2019, 39(2):150-152, 170.
QIN Y F, SHI X J, WANG K. Research on system testability modeling and analysis method considering uncertain factors［J］. Ship Electronic Engineering, 2019, 39(2): 150-152, 170. (in Chinese)

第41卷第1期
2020 年1月兵工学报ACTA
ARMAMENTARIIVol.41No.1Jan.2020