Software fault tree analysis tool user's manual

Author(s): Rolandelli, Craig; Shimeall, Timothy J.; Genung, Christi; Leveson, Nancy | Abstract: The Software Fault Tree Analysis Tool allows the user to interactively modify the graphic representation of a fault tree. This manual describes the user interface of the tool. The tool is currently available only for Sun-2 workstations running 4.2 BSD Unix.