Software Safety Analysis of 2-out-of-3 Redundant Architecture System Based on Markov Model
With the increasing complexity of software, the software reliability and safety have already become a more important issue, especially for the safetycritical systems. So the software safety modeling and calculation method play an important role in ensuring the software reliability and safety. In this context, the quantitative analysis and assessment becomes very important, but the traditional approach often suffers from immature of safety modeling and index calculation method. This paper proposes a method on the software safety modeling, as well as the calculation method to analyze software safety at system level, module level and function unit level. As a case study, the paper studies more detail on the software safety analysis and the calculation to the quantitative indicators for the typical 2 out of 3 system by using the Markov model.
Safety Critical System Software Safety Software Reliability Markov Analysis Model Construction
Hongliang Pan Xingyuan Zhang Jiliang Tu Decun Dong
College of Traffic and Transportation Engineering, Tongji University, Shanghai, 201804, China Shangh College of Traffic and Transportation Engineering, Tongji University, Shanghai, 201804, China
国际会议
贵阳
英文
493-498
2011-06-12（万方平台首次上网日期，不代表论文的发表时间）