期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2009
卷号：9
期号：7
页码：185-193
出版社：International Journal of Computer Science and Network Security
摘要：The safety aspects of computer-based systems as increasingly important as the use of software escalates because of its convenience and flexibility. Incorrect requirements have been identified as a major cause of software accidents and it appears that current software safety standards do not place a proportionate emphasis upon this causal factor. This paper reviews existing software safety standards, guidelines and other software safety documents and also examines the limitations, practical problems and issues associated with the use of current software safety standards. In this paper, a Methodology is proposed for modeling software safety based on the current software safety standards, their merits and limitations. The tasks in this proposed methodology pertains to System and software hazard analyses, Identification of software safety-critical requirements, safety-constraints based design, software safety implementation and software safety critical testing. This methodology was applied to a laboratory prototype safety-critical Railroad Crossing Control System (RCCS). The results showed that all safety critical operations are safe and risk free and capable of handling the contingency situations.
