By Topic

Analysis of Use Case Requirements Using SFTA and SFMEA Techniques

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

5 Author(s)
Tiwari, S. ; Indian Inst. of Inf. Technol., Design & Manuf., Jabalpur, India ; Rathore, S.S. ; Gupta, S. ; Gogate, V.
more authors

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 requirements using SFTA and to identify the vulnerable failure modes with SFMEAs. The approach comprises of three steps. First, the functional requirement specified as a set of use cases are mapped to success tree and fault tree. Second, fault tree and success tree are synthesized to obtain minimum cut sets. These cut sets are then used to identify missing or incorrectly documented requirements. Third, we propose a formalized method to find vulnerable failure modes of software systems with the combination of SFMEA and SFTA techniques. Further, we suggest compensating provisions to avoid the occurrence of these critical failures. We demonstrate the applicability of the proposed approach using an illustrative example.

Published in:

Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on

Date of Conference:

18-20 July 2012