Sciweavers

Share
ICSE
2007
IEEE-ACM

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

9 years 10 months ago
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.
Josh Dehlinger, Meredith Humphrey, Lada Suvorov, P
Added 09 Dec 2009
Updated 09 Dec 2009
Type Conference
Year 2007
Where ICSE
Authors Josh Dehlinger, Meredith Humphrey, Lada Suvorov, Prasanna Padmanabhan, Robyn R. Lutz
Comments (0)
books