DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees

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 semiautomated 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.

• Type: Conference
• Year: 2007
• Where: ICSE
• Authors: Josh Dehlinger, Meredith Humphrey, Lada Suvorov, Prasanna Padmanabhan, Robyn R. Lutz
• Keywords: ICSE 2007, Product-line Engineering, Product-line Requirements Verification, Product-line Sfta, Software Engineering