May 20, 2007 to May 26, 2007
Josh Dehlinger , Iowa State University, USA
Meredith Humphrey , Iowa State University, USA
Lada Suvorov , Iowa State University, USA
Prasanna Padmanabhan , Citrix Systems Inc.
Robyn Lutz , Iowa State University, USA; Caltech
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced version of PLFaultCAT provides traceability between productline requirements and SFTA hazards as well as semi-automated derivation of the SFTA for each new product-line system previously verified by DECIMAL. The combined tool reduces the effort needed to safely reuse requirements and customize the product-line SFTA as each new system is constructed.
Josh Dehlinger, Meredith Humphrey, Lada Suvorov, Prasanna Padmanabhan, Robyn Lutz, "DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees", ICSECOMPANION, 2007, International Conference on Software Engineering Companion, International Conference on Software Engineering Companion 2007, pp. 49-50, doi:10.1109/ICSECOMPANION.2007.29