The Community for Technology Leaders
International Conference on Software Engineering Companion (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISBN: 0-7695-2892-9
pp: 49-50
Robyn Lutz , Iowa State University, USA; Caltech
Lada Suvorov , Iowa State University, USA
Prasanna Padmanabhan , Citrix Systems Inc.
Meredith Humphrey , Iowa State University, USA
Josh Dehlinger , Iowa State University, USA
ABSTRACT
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.
INDEX TERMS
null
CITATION
Robyn Lutz, Lada Suvorov, Prasanna Padmanabhan, Meredith Humphrey, Josh Dehlinger, "DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees", International Conference on Software Engineering Companion, vol. 00, no. , pp. 49-50, 2007, doi:10.1109/ICSECOMPANION.2007.29
86 ms
(Ver )