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.
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
.
DOI: 10.1007/s12204-015-1654-3
[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.
