Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Targeting safety-related errors during software requirements analysis
Journal of Systems and Software
Requirements analysis using forward and backward search
Annals of Software Engineering
Integrated Safety Analysis of Requirements Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Developing a High-Quality Software Tool for Fault Tree Analysis
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Automatic Synthesis of Dynamic Fault Trees from UML System Models
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
IEEE Transactions on Software Engineering
A software fault tree key node metric
Journal of Systems and Software
Extending RUP to develop fault tolerant software
Proceedings of the 2008 ACM symposium on Applied computing
Hi-index | 0.00 |
This paper presents a study on Software Fault Tree Analysis (SFTA) conducted at the Software Assurance Technology Center at NASA Goddard Space Flight Center. While researchers have made various attempts at SFTA, software assurance practitioners have been slow to adopt it. One reason is the intense manual effort needed to identify and draw the fault trees for the code of large software projects. Another is the lack of commercial tools to assist in the technique for software. Most SFTA research efforts have been directed at requirements or code. Performing SFTA on the design may enable application of SFTA to critical code only, thus reducing the amount of effort. This study is attempting to develop a relationship between UML驴 design diagrams and fault tree symbology to enable adaptation of a commercial FTA tool to at least one software design language. Such a result would reduce the amount of fault tree effort both for size (design instead of code) and for manual effort.