DocumentCode :
569297
Title :
Analysis of Use Case Requirements Using SFTA and SFMEA Techniques
Author :
Tiwari, S. ; Rathore, S.S. ; Gupta, S. ; Gogate, V. ; Gupta, A.
Author_Institution :
Indian Inst. of Inf. Technol., Design & Manuf., Jabalpur, India
fYear :
2012
fDate :
18-20 July 2012
Firstpage :
29
Lastpage :
38
Abstract :
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.
Keywords :
fault trees; formal specification; functional programming; inference mechanisms; risk analysis; safety-critical software; software fault tolerance; SFMEA; SFTA; bottom up inductive approach; critical failure; formal approach; functional requirement specification; risk analysis; software failure modes and effects analysis; software fault tree analysis; software reliability; top down deductive approach; vulnerable failure mode identification; Fault diagnosis; Fault trees; Logic gates; Software algorithms; Software systems; Unified modeling language; SFMEA; failure modes analysis; requirement specification; software fault tree analysis; use case modeling; validation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4673-2156-3
Type :
conf
Filename :
6299248
Link To Document :
بازگشت