By Topic

Software safety analysis of 2-out-of-3 redundant architecture system based on Markov model

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Hongliang Pan ; Coll. of Traffic & Transp. Eng., Tongji Univ., Shanghai, China ; Xingyuan Zhang ; Jiliang Tu ; Decun Dong

With the increasing complexity of software, the software reliability and safety have already become a more important issue, especially for the safety-critical 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.

Published in:

Reliability, Maintainability and Safety (ICRMS), 2011 9th International Conference on

Date of Conference:

12-15 June 2011