Gogate Vaibhav Vinayak

Learn More
Software Fault Tree Analysis (SFTA) and Software Failure Modes and Effects Analysis (SFMEA) are the techniques used to improve the reliability of software systems. SFTA is a top down deductive approach while SFMEA is a bottom up inductive approach to do risk analysis. In this paper, we present a formal approach to analyze and validate the functional(More)
Software integrity is of prime concern in today's computerized world. Software failure makes the development of fault tolerant software system, a matter of concern. Failure Modes and Effects Analysis (FMEA) and Fault Tree Analysis (FTA) are traditional techniques that have been used to improve the reliability of mechanical systems. In this paper we propose(More)
  • 1