上海交通大学学报(英文版) ›› 2015, Vol. 20 ›› Issue (4): 482-488.doi: 10.1007/s12204-015-1654-3

• • 上一篇    下一篇

Binary Logic State Transition Oriented Formal General Reliability Model

ZHOU Yi-zhou (周一舟), REN Yi (任 羿), LIU Lin-lin* (刘林林),MA Zheng (马 政), WANG Zi-li (王自力)   

  1. (School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China)
  • 发布日期:2015-08-05
  • 通讯作者: LIU Lin-lin (刘林林) E-mail:liulinlin@buaa.edu.cn

Binary Logic State Transition Oriented Formal General Reliability Model

ZHOU Yi-zhou (周一舟), REN Yi (任 羿), LIU Lin-lin* (刘林林),MA Zheng (马 政), WANG Zi-li (王自力)   

  1. (School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China)
  • Published:2015-08-05
  • Contact: LIU Lin-lin (刘林林) E-mail:liulinlin@buaa.edu.cn

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

中图分类号: