Binary Logic State Transition Oriented Formal General Reliability Model

doi:10.1007/s12204-015-1654-3

摘要/Abstract

摘要： There were various conventional modeling techniques with varied semantics for system reliability assessment, such as fault trees (FT), Markov process (MP), and Petri nets. However, it is strenuous to construct and to maintain models utilizing these formalisms throughout the life cycle of system under development. This paper proposes a unified formal modeling language to build a general reliability model. The method eliminates the gap between the actual system and reliability model and shows details of the system clearly. Furthermore, the model could be transformed into FT and MP through specific rules defined by a formal language to assess system-level reliability.

关键词: reliability, formal modeling method, fault trees (FT), Markov process (MP), general reliability model(GRM)

Abstract: There were various conventional modeling techniques with varied semantics for system reliability assessment, such as fault trees (FT), Markov process (MP), and Petri nets. However, it is strenuous to construct and to maintain models utilizing these formalisms throughout the life cycle of system under development. This paper proposes a unified formal modeling language to build a general reliability model. The method eliminates the gap between the actual system and reliability model and shows details of the system clearly. Furthermore, the model could be transformed into FT and MP through specific rules defined by a formal language to assess system-level reliability.

Key words: reliability, formal modeling method, fault trees (FT), Markov process (MP), general reliability model(GRM)

中图分类号:

N 945.17

ZHOU Yi-zhou (周一舟), REN Yi (任羿), LIU Lin-lin* (刘林林),MA Zheng (马政), WANG Zi-li . Binary Logic State Transition Oriented Formal General Reliability Model[J]. 上海交通大学学报（英文版）, 2015, 20(4): 482-488.

ZHOU Yi-zhou (周一舟), REN Yi (任羿), LIU Lin-lin* (刘林林),MA Zheng (马政), WANG Zi-li (王自力). Binary Logic State Transition Oriented Formal General Reliability Model[J]. Journal of shanghai Jiaotong University (Science), 2015, 20(4): 482-488.

参考文献

[1] Prosvirnova T, Batteux M, Brameret P A, et al. The AltaRica 3.0 project for model-based safety assessment [C]//2013 11th IEEE International Conference on Industrial Informatics. [s.l.]: IEEE, 2013:741-746.
[2] Rauzy A B. Guarded transition systems: A new states/events formalism for reliability studies [J]. Journal of Risk and Reliability, 2008, 222(4): 495-505.
[3] G¨udemann M, Ortmeier F. A framework for qualitative and quantitative formal model-based safety analysis[C]//2010 IEEE 12th International Symposium on High-Assurance Systems Engineering. [s.l.]: IEEE,2010: 132-141.
[4] Boiteau M, Dutuit Y, Rauzy A, et al. The AltaRica data-flow language in use: Modeling of production availability of a multi-state system [J]. Reliability Engineering and System Safety, 2006, 91(7): 747-755.
[5] Zhu Y Z, Zhang J G, Gong Q, et al. Reliability and safety assessment with AltaRica for complex aircraft systems [C]//2011 9th International Conference on Reliability, Maintainability and Safety. [s.l.]: IEEE,2011: 588-593.
[6] Griffault A, Point G, Kuntz F, et al. Symbolic computation of minimal cuts for AltaRica models [R].Talence Cedex, France: LaBRI, Universit′e de Bordeaux,2011.
[7] Brameret P-A, Roussel J-M, Rauzy A. Preliminary system safety analysis with limited Markov chain generation [C]//Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013).York, UK: IFAC, 2013: hal-00859173.
[8] Friedenthal S, Moore A, Steiner R. A practical guide to SysML: The systems modeling language [M].[s.l.]: Elsevier, 2011.
[9] Sun Hong-xu, Xing Wei. The research of QVT model transformation approaches [J]. Intelligent Computer and Applications, 2011, 1(2): 79-81 (in Chinese).
[10] Ren Y, Liu L L, Zeng S K. Fault tree data structure based on XML and the conversion method to BDD[C]//2009 WRI World Congress on Computer Science and Information Engineering. [s.l.]: IEEE, 2009: 264-268.

[1]	SHI Lianxing (石连星), WANG Zhiheng (王志恒), LI Xiaoyong (李小勇) . Novel Data Placement Algorithm for Distributed Storage System Based on Fault-Tolerant Domain[J]. J Shanghai Jiaotong Univ Sci, 2021, 26(4): 463-470.
[2]	QIAO Xing, MA Dan, YAO Xuliang, FENG Baolin. Stability and Numerical Analysis of a Standby System[J]. J Shanghai Jiaotong Univ Sci, 2020, 25(6): 769-778.
[3]	LAI Junfeng (赖俊峰), JI Dandan (季丹丹), YAN Zaizai (闫在在). Extended Inverse Gaussian Distribution: Properties and Application[J]. J Shanghai Jiaotong Univ Sci, 2020, 25(2): 193-200.
[4]	ZHOU Yuan (周源), WANG Haowei (王浩伟), Lü Weimin (吕卫民). Statistical Inference of Reliability with Multivariate Accelerated Degradation Data[J]. Journal of Shanghai Jiao Tong University (Science), 2020, 25(2): 237-245.
[5]	XU Jiajun (许家俊), PEI Zhiyuan (裴志远), GUO Lin (郭琳), ZHANG Ruxia (张儒侠), HU Hualang. Reliability Analysis of Cloud Service-Based Applications Through SRGM and NMSPN[J]. Journal of Shanghai Jiao Tong University (Science), 2020, 25(1): 57-64.
[6]	CHENG Li (程立), YANG Yuanyuan (杨媛媛), MU Huina (穆慧娜), YANG Xiaoyu (杨小玉), LI Li (李立. Reliability Evaluation Method Based on Double Beta Prior Distribution for the Pyrotechnic Device[J]. J Shanghai Jiaotong Univ Sci, 2019, 24(5): 622-627.
[7]	PENG Rui (彭锐), MA Xiaoyang *(马晓洋), ZHAI Qingqing (翟庆庆), GAO Kaiye (高凯烨). Software Reliability Growth Model Considering First-Step and Second-Step Fault Dependency[J]. Journal of Shanghai Jiao Tong University (Science), 2019, 24(4): 477-479.
[8]	LIU Gehui (刘葛辉), LONG Xiangyu (龙翔宇), TONG Shuo (仝硕), ZHANG Rui (张瑞), CHEN Shaoku. Optimum Consecutive Preventive Maintenance Scheduling Model Considering Reliability[J]. Journal of Shanghai Jiao Tong University (Science), 2019, 24(4): 490-495.
[9]	GU Yingkui *(古莹奎), SHEN Yanjun (沈延军), YU Dongping (余东平). Degradation Reliability Analysis Based on TOPSIS Model Selection Method[J]. Journal of Shanghai Jiao Tong University (Science), 2019, 24(3): 351-356.
[10]	LIU Ji (刘骥), ZHANG Mingze (张明泽), CHEN Xin (陈昕), QI Pengshuai (齐朋帅). Approach for Reliability Evaluation of Cross-Linked Polyethylene Under Combined Thermal and Vibration Stresses[J]. Journal of Shanghai Jiao Tong University (Science), 2018, 23(6): 758-763.
[11]	ZHANG Sheng (张生), REN Chenhui (任晨辉), WAN Liyong (万里勇), YI Xiaojian (伊枭剑), DONG . Reliability Analysis of Aero-Engine Main Fuel System Based on GO Methodology[J]. Journal of Shanghai Jiao Tong University (Science), 2018, 23(6): 770-775.
[12]	YU Guibo (于贵波), CAO Lijun (曹立军), WANG Shuhai (王书海), MA Qiao (马乔). Research on Nonlinear Dynamic Simulation and Fatigue Reliability Life Prediction for Synthesis Transmission System of Self-Propelled Gun[J]. Journal of Shanghai Jiao Tong University (Science), 2018, 23(6): 776-783.
[13]	ZHANG Shuai (张帅), Lü Ruoning (吕若宁), SI Shubin (司书宾), REN Fangyu (任方宇). Reliability Analysis of Systems with Common Cause Failure Based on Stress-Strength Interference Model[J]. Journal of Shanghai Jiao Tong University (Science), 2018, 23(5): 707-710.
[14]	ZHANG Xiaoqiang1 (张小强), GAO Huiying2 (高会英),FU Guozhong1 (付国忠), HUANG Hongzhong1 . Reliability Analysis of Filtering Reducers Considering Temperature Correction and Shock Load of Space[J]. sa, 2018, 23(3): 456-.
[15]	YAN Hua (闫华), GAO Li (高黎), QI Lei (漆磊), WAN Ping (万平). Simplified Markov Model for Reliability Analysis of Phased-Mission System Using States Merging Method[J]. sa, 2018, 23(3): 418-.