Binary Logic State Transition Oriented Formal General Reliability Model

doi:10.1007/s12204-015-1654-3

Abstract

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)

摘要： 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)

CLC Number:

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]. Journal of shanghai Jiaotong University (Science), 2015, 20(4): 482-488.

References

[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]	WANG Kai∗ (汪凯), WANG Xianliang (王宪良), ZHU Jiazan (朱加赞), OU Daisong (欧代松), PAN Daifeng (潘代锋). System Life and Reliability Modeling of a Multiple Power Takeoffs Accessory Gearbox Transmission [J]. J Shanghai Jiaotong Univ Sci, 2022, 27(6): 855-866.
[2]	LIU Kai1 (刘凯), DANG Wei1 (党炜), ZOU Tianji1,2∗ (邹田骥), LÜ Congmin1 (吕从民), LI Peng1,2 (李鹏), ZHANG Haitao1 (张海涛). Reliability Evaluation of Two-Phase Degradation Process with a Fuzzy Change-Point [J]. J Shanghai Jiaotong Univ Sci, 2022, 27(6): 867-872.
[3]	TAO Wei, LIU Zhao, XU Can, ZHU Ping. Multi-Scale Reliability-Based Design Optimization of Three-Dimensional Orthogonal Woven Composite Fender [J]. Journal of Shanghai Jiao Tong University, 2021, 55(5): 615-623.
[4]	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.
[5]	NI He, QIN Haibo, ZHENG Yiyang. Simulation and Performance Reliability of Boiler Load Raising Process Considering Leakage of Feed Water [J]. Journal of Shanghai Jiao Tong University, 2021, 55(4): 444-454.
[6]	GAO Yingming, CHEN Zhen, ZHANG Xiufang, PAN Ershun. Reliability Modeling and Maintenance Optimization of Manufacturing System Based on Stochastic Flow Network and Markov Process [J]. Journal of Shanghai Jiao Tong University, 2021, 55(3): 229-235.
[7]	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.
[8]	XU Xianyang，CHEN Lu. Parallel Machine Scheduling Problem Considering Machine Reliability and Energy Consumption [J]. Journal of Shanghai Jiaotong University, 2020, 54(3): 247-255.
[9]	LAI Junfeng (赖俊峰), JI Dandan (季丹丹), YAN Zaizai (闫在在). Extended Inverse Gaussian Distribution: Properties and Application [J]. J Shanghai Jiaotong Univ Sci, 2020, 25(2): 193-200.
[10]	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.
[11]	XU Jiajun (许家俊), PEI Zhiyuan (裴志远), GUO Lin (郭琳), ZHANG Ruxia (张儒侠), HU Hualang (胡华浪), WANG Fei (王飞). Reliability Analysis of Cloud Service-Based Applications Through SRGM and NMSPN [J]. Journal of Shanghai Jiao Tong University (Science), 2020, 25(1): 57-64.
[12]	GAO Weihua, LYU Guangqiang, CAO LuGuang, DING Xiaoqin, LI Feng. Application of S&HFMEA in Missileborne Embedded Software [J]. Air & Space Defense, 2020, 3(1): 10-16.
[13]	WU Liyin,XU Biao,ZHANG Qing,WEN Binshuang. Study on Derating Design in Reliability Analysis on Nuclear Power Plant Safety DCS [J]. Journal of Shanghai Jiaotong University, 2019, 53(Sup.1): 98-103.
[14]	CHENG Li (程立), YANG Yuanyuan (杨媛媛), MU Huina (穆慧娜), YANG Xiaoyu (杨小玉), LI Li (李立), WEN Yuquan (温玉全). Reliability Evaluation Method Based on Double Beta Prior Distribution for the Pyrotechnic Device [J]. J Shanghai Jiaotong Univ Sci, 2019, 24(5): 622-627.
[15]	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.