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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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.
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.
Güdemann 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.
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.
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.
Griffault A, Point G, Kuntz F, et al. Symbolic computation of minimal cuts for AltaRica models [R]. Talence Cedex, France: LaBRI, Université de Bordeaux, 2011.
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.
Friedenthal S, Moore A, Steiner R. A practical guide to SysML: The systems modeling language [M]. [s.l.]: Elsevier, 2011.
Sun Hong-xu, Xing Wei. The research of QVT model transformation approaches [J]. Intelligent Computer and Applications, 2011, 1(2): 79–81 (in Chinese).
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zhou, Yz., Ren, Y., Liu, Ll. et al. Binary logic state transition oriented formal general reliability model. J. Shanghai Jiaotong Univ. (Sci.) 20, 482–488 (2015). https://doi.org/10.1007/s12204-015-1654-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12204-015-1654-3