Binary Logic State Transition Oriented Formal General Reliability Model

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]	LI Xiangzhe, LIANG Gang, ZHENG Xiaomei, XU Congcong, XU Jinquan.Assessment Method for Early Fatigue Failure of Crankshaft Based on Dispersion of Impact Energy[J]. Journal of Shanghai Jiao Tong University, 2025, 59(1): 111-120.
[2]	GAO Yu, JIANG Zhenyu.Validation Method for Missile Motion Simulation Model[J]. Air & Space Defense, 2024, 7(5): 103-109.
[3]	Yiding Li, Li Wang, Youzhi Song, Wenwei Wang, Cheng Lin, Xiangming He.Functional Optical Fiber Sensors Detecting Imperceptible Physical/Chemical Changes for Smart Batteries[J]. Nano-Micro Letters, 2024, 16(1): 154-.
[4]	YE Lun, OUYANG Xu, YAO Jiangang, YANG Shengjie, YIN Jungang.Reliability Index Calculation and Reserve Capacity Optimization Considering Multiple Uncertainties[J]. Journal of Shanghai Jiao Tong University, 2024, 58(1): 30-39.
[5]	LI Shigang, WANG Kunyun, YUAN Ye, ZHU Ge, WANG Xin.An In-Service Mission Reliability Assessment Method of Complex Equipment System[J]. Air & Space Defense, 2023, 6(1): 23-28.
[6]	LIAO Xin, ZHU Jianhua, BIAN Fuguo, LI Keyong.Research and Practice of Improving the Reliability of Missile Weapons by "Three-Re" Method[J]. Air & Space Defense, 2023, 6(1): 11-16.
[7]	CHEN Shoufang, LI Jian, XIONG Lifang, YUAN Junshe.Thinking on Reliability of Pipeline Connection and Seal of Reusable Engine[J]. Air & Space Defense, 2023, 6(1): 6-10.
[8]	ZHAI Weihao, GONG Minhao, LIN Mingrun, KUANG Tingyu, WEN Shanshan.Reliability Analysis Based on Active Learning Kriging Model[J]. Air & Space Defense, 2023, 6(1): 1-5.
[9]	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.
[10]	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.
[11]	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.
[12]	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.
[13]	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.
[14]	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.
[15]	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.