Hazard analysis of Unified Modelling Language sequence and state charts using software fault tree analysis Online publication date: Tue, 24-Sep-2013
by Pankaj Vyas; R.K. Mittal
International Journal of Critical Computer-Based Systems (IJCCBS), Vol. 4, No. 2, 2013
Abstract: Software fault tree analysis (SFTA) is a well known software safety analysis technique for identifying those software related erroneous events which can force the system into a hazardous state. Over the years, the effective strengths of SFTA approach have been demonstrated by applying it practically at every phase of software development such as coding, design and requirement analysis. The focus of SFTA application research efforts at the software design phase is the automatic or semi-automatic construction of a software fault tree for the selected hazardous state of the system directly from the given Unified Modelling Language (UML) models such as sequence and state charts. But programmed application of SFTA has been successfully carried out so far only in the coding phase whereas at other phases especially at design and requirement analysis its application remains a manual process so far. This paper presents a semi-automated approach to construct a software fault tree from the UML sequence and state charts drawn for a particular functional scenario. The effective strength(s) of the proposed approach have been demonstrated by applying it on two use-case scenarios selected from an elevator controller application.
Online publication date: Tue, 24-Sep-2013
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Critical Computer-Based Systems (IJCCBS):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email email@example.com